home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
hash
/
sboxes.lha
/
genSBoxes.c
Wrap
C/C++ Source or Header
|
1993-07-23
|
211KB
|
4,184 lines
/* This program generates the standard S-boxes used by Snefru,
the one way hash function. It uses the RAND table of random numbers.
This is version 2.5, November 29, 1990.
Copyright (c) Xerox Corporation 1989
All rights reserved.
License to copy and use this software is granted.
License is also granted to make and use derivative works.
Xerox Corporation makes no representations concerning either the
merchantability of this software or the suitability of this software for any
particular purpose. It is provided "as is" without express or implied
warranty of any kind.
These notices must be retained in any copies of any part of this software.
*/
#include <stdio.h>
#define SBoxCount 16 /* number of S boxes in the set of standard S
boxes */
/* The random table is the first part of the random digits from the book:
'A Million Random Digits with 100,000 Normal Deviates", by the RAND
Corporation, published by the Free Press, 1955. The formatting is similar
to the book to allow easy inspection and verification. The random digits
are also available on magnetic tape or diskettes from the RAND
corporation.
Send inquiries to: The RAND Corporation, Computer Information Systems, 1700
Main St., Santa Monica California 90406;
*/
/* The following two global variables are used only by 'randomDigit' */
/* group location in the table of random digits */
int locationInRANDtable = 0;
/* location within a 5-digit group */
int locationIn5DigitGroup = 0;
#define sizeOfRANDtableIn5DigitGroups 20000
char RANDtable[sizeOfRANDtableIn5DigitGroups][5] = {
/* 0 */"10097", "32533", "76520", "13586", "34673",
"54876", "80959", "09117", "39292", "74945",
/* 1 */"37542", "04805", "64894", "74296", "24805",
"24037", "20636", "10402", "00822", "91665",
/* 2 */"08422", "68953", "19645", "09303", "23209",
"02560", "15953", "34764", "35080", "33606",
/* 3 */"99019", "02529", "09376", "70715", "38311",
"31165", "88676", "74397", "04436", "27659",
/* 4 */"12807", "99970", "80157", "36147", "64032",
"36653", "98951", "16877", "12171", "76833",
/* 5 */"66065", "74717", "34072", "76850", "36697",
"36170", "65813", "39885", "11199", "29170",
/* 6 */"31060", "10805", "45571", "82406", "35303",
"42614", "86799", "07439", "23403", "09732",
/* 7 */"85269", "77602", "02051", "65692", "68665",
"74818", "73053", "85247", "18623", "88579",
/* 8 */"63573", "32135", "05325", "47048", "90553",
"57548", "28468", "28709", "83491", "25624",
/* 9 */"73796", "45753", "03529", "64778", "35808",
"34282", "60935", "20344", "35273", "88435",
/* 10 */"98520", "17767", "14905", "68607", "22109",
"40558", "60970", "93433", "50500", "73998",
/* 11 */"11805", "05431", "39808", "27732", "50725",
"68248", "29405", "24201", "52775", "67851",
/* 12 */"83452", "99634", "06288", "98083", "13746",
"70078", "18475", "40610", "68711", "77817",
/* 13 */"88685", "40200", "86507", "58401", "36766",
"67951", "90364", "76493", "29609", "11062",
/* 14 */"99594", "67348", "87517", "64969", "91826",
"08928", "93785", "61368", "23478", "34113",
/* 15 */"65481", "17674", "17468", "50950", "58047",
"76974", "73039", "57186", "40218", "16544",
/* 16 */"80124", "35635", "17727", "08015", "45318",
"22374", "21115", "78253", "14385", "53763",
/* 17 */"74350", "99817", "77402", "77214", "43236",
"00210", "45521", "64237", "96286", "02655",
/* 18 */"69916", "26803", "66252", "29148", "36936",
"87203", "76621", "13990", "94400", "56418",
/* 19 */"09893", "20505", "14225", "68514", "46427",
"56788", "96297", "78822", "54382", "14598",
/* 20 */"91499", "14523", "68479", "27686", "46162",
"83554", "94750", "89923", "37089", "20048",
/* 21 */"80336", "94598", "26940", "36858", "70297",
"34135", "53140", "33340", "42050", "82341",
/* 22 */"44104", "81949", "85157", "47954", "32979",
"26575", "57600", "40881", "22222", "06413",
/* 23 */"12550", "73742", "11100", "02040", "12860",
"74697", "96644", "89439", "28707", "25815",
/* 24 */"63606", "49329", "16505", "34484", "40219",
"52563", "43651", "77082", "07207", "31790",
/* 25 */"61196", "90446", "26457", "47774", "51924",
"33729", "65394", "59593", "42582", "60527",
/* 26 */"15474", "45266", "95270", "79953", "59367",
"83848", "82396", "10118", "33211", "59466",
/* 27 */"94557", "28573", "67897", "54387", "54622",
"44431", "91190", "42592", "92927", "45973",
/* 28 */"42481", "16213", "97344", "08721", "16868",
"48767", "03071", "12059", "25701", "46670",
/* 29 */"23523", "78317", "73208", "89837", "68935",
"91416", "26252", "29663", "05522", "82562",
/* 30 */"04493", "52494", "75246", "33824", "45862",
"51025", "61962", "79335", "65337", "12472",
/* 31 */"00549", "97654", "64051", "88159", "96119",
"63896", "54692", "82391", "23287", "29529",
/* 32 */"35963", "15307", "26898", "09354", "33351",
"35462", "77974", "50024", "90103", "39333",
/* 33 */"59808", "08391", "45427", "26842", "83609",
"49700", "13021", "24892", "78565", "20106",
/* 34 */"46058", "85236", "01390", "92286", "77281",
"44077", "93910", "83647", "70617", "42941",
/* 35 */"32179", "00597", "87379", "25241", "05567",
"07007", "86743", "17157", "85394", "11838",
/* 36 */"69234", "61406", "20117", "45204", "15956",
"60000", "18743", "92423", "97118", "96338",
/* 37 */"19565", "41430", "01758", "75379", "40419",
"21585", "66674", "36806", "84962", "85207",
/* 38 */"45155", "14938", "19476", "07246", "43667",
"94543", "59047", "90033", "20826", "69541",
/* 39 */"94864", "31994", "36168", "10851", "34888",
"81553", "01540", "35456", "05014", "51176",
/* 40 */"98086", "24826", "45240", "28404", "44999",
"08896", "39094", "73407", "35441", "31880",
/* 41 */"33185", "16232", "41941", "50949", "89435",
"48581", "88695", "41994", "37548", "73043",
/* 42 */"80951", "00406", "96382", "70774", "20151",
"23387", "25016", "25298", "94624", "61171",
/* 43 */"79752", "49140", "71961", "28296", "69861",
"02591", "74852", "20539", "00387", "59579",
/* 44 */"18633", "32537", "98145", "06571", "31010",
"24674", "05455", "61427", "77938", "91936",
/* 45 */"74029", "43902", "77557", "32270", "97790",
"17119", "52527", "58021", "80814", "51748",
/* 46 */"54178", "45611", "80993", "37143", "05335",
"12969", "56127", "19255", "36040", "90324",
/* 47 */"11664", "49883", "52079", "84827", "59381",
"71539", "09973", "33440", "88461", "23356",
/* 48 */"48324", "77928", "31249", "64710", "02295",
"36870", "32307", "57546", "15020", "09994",
/* 49 */"69074", "94138", "87637", "91976", "35584",
"04401", "10518", "21615", "01848", "76938",
/* 50 */"09188", "20097", "32825", "39527", "04220",
"86304", "83389", "87374", "64278", "58044",
/* 51 */"90045", "85497", "51981", "50654", "94938",
"81997", "91870", "76150", "68476", "64659",
/* 52 */"73189", "50207", "47677", "26269", "62290",
"64464", "27124", "67018", "41361", "82760",
/* 53 */"75768", "76490", "20971", "87749", "90429",
"12272", "95375", "05871", "93823", "43178",
/* 54 */"54016", "44056", "66281", "31003", "00682",
"27398", "20714", "53295", "07706", "17813",
/* 55 */"08358", "69910", "78542", "42785", "13661",
"58873", "04618", "97553", "31223", "08420",
/* 56 */"28306", "03264", "81333", "10591", "40510",
"07893", "32604", "60475", "94119", "01840",
/* 57 */"53840", "86233", "81594", "13628", "51215",
"90290", "28466", "68795", "77762", "20791",
/* 58 */"91757", "53741", "61613", "62269", "50263",
"90212", "55781", "76514", "83483", "47055",
/* 59 */"89415", "92694", "00397", "58391", "12607",
"17646", "48949", "72306", "94541", "37408",
/* 60 */"77513", "03820", "86864", "29901", "68414",
"82774", "51908", "13980", "72893", "55507",
/* 61 */"19502", "37174", "69979", "20288", "55210",
"29773", "74287", "75251", "65344", "67415",
/* 62 */"21818", "59313", "93278", "81757", "05686",
"73156", "07082", "85046", "31853", "38452",
/* 63 */"51474", "66499", "68107", "23621", "94049",
"91345", "42836", "09191", "08007", "45449",
/* 64 */"99559", "68331", "62535", "24170", "69777",
"12830", "74819", "78142", "43860", "72834",
/* 65 */"33713", "48007", "93584", "72869", "51926",
"64721", "58303", "29822", "93174", "93972",
/* 66 */"85274", "86893", "11303", "22970", "28834",
"34137", "73515", "90400", "71148", "43643",
/* 67 */"84133", "89640", "44035", "52166", "73852",
"70091", "61222", "60561", "62327", "18423",
/* 68 */"56732", "16234", "17395", "96131", "10123",
"91622", "85496", "57560", "81604", "18880",
/* 69 */"65138", "56806", "87648", "85261", "34313",
"65861", "45875", "21069", "85644", "47277",
/* 70 */"38001", "02176", "81719", "11711", "71602",
"92937", "74219", "64049", "65584", "49698",
/* 71 */"37402", "96397", "01304", "77586", "56271",
"10086", "47324", "62605", "40030", "37438",
/* 72 */"97125", "40348", "87083", "31417", "21815",
"39250", "75237", "62047", "15501", "29578",
/* 73 */"21826", "41134", "47143", "34072", "64638",
"85902", "49139", "06441", "03856", "54552",
/* 74 */"73135", "42742", "95719", "09035", "85794",
"74296", "08789", "88156", "64691", "19202",
/* 75 */"07638", "77929", "03061", "18072", "96207",
"44156", "23821", "99538", "04713", "66994",
/* 76 */"60528", "83441", "07954", "19814", "59175",
"20695", "05533", "52139", "61212", "06455",
/* 77 */"83596", "35655", "06958", "92983", "05128",
"09719", "77433", "53783", "92301", "50498",
/* 78 */"10850", "62746", "99599", "10507", "13499",
"06319", "53075", "71839", "06410", "19362",
/* 79 */"39820", "98952", "43622", "63147", "64421",
"80814", "43800", "09351", "31024", "73167",
/* 80 */"59580", "06478", "75569", "78800", "88835",
"54486", "23768", "06156", "04111", "08408",
/* 81 */"38508", "07341", "23793", "48763", "90822",
"97022", "17719", "04207", "95954", "49953",
/* 82 */"30692", "70668", "94688", "16127", "56196",
"80091", "82067", "63400", "05462", "69200",
/* 83 */"65443", "95659", "18288", "27437", "49632",
"24041", "08337", "65676", "96299", "90836",
/* 84 */"27267", "50264", "13192", "72294", "07477",
"44606", "17985", "48911", "97341", "30358",
/* 85 */"91307", "06991", "19072", "24210", "36699",
"53728", "28825", "35793", "28976", "66252",
/* 86 */"68434", "94688", "84473", "13622", "62126",
"98408", "12843", "82590", "09815", "93146",
/* 87 */"48908", "15877", "54745", "24591", "35700",
"04754", "83824", "52692", "54130", "55160",
/* 88 */"06913", "45197", "42672", "78601", "11883",
"09528", "63011", "98901", "14974", "40344",
/* 89 */"10455", "16019", "14210", "33712", "91342",
"37821", "88325", "80851", "43667", "70883",
/* 90 */"12883", "97343", "65027", "61184", "04285",
"01392", "17974", "15077", "90712", "26769",
/* 91 */"21778", "30976", "38807", "36961", "31649",
"42096", "63281", "02023", "08816", "47449",
/* 92 */"19523", "59515", "65122", "59659", "86283",
"68258", "69572", "13798", "16435", "91529",
/* 93 */"67245", "52670", "35583", "16563", "79246",
"86686", "76463", "34222", "26655", "90802",
/* 94 */"60584", "47377", "07500", "37992", "45134",
"26529", "26760", "83637", "41326", "44344",
/* 95 */"53853", "41377", "36066", "94850", "58838",
"73859", "49364", "73331", "96240", "43642",
/* 96 */"24637", "38736", "74384", "89342", "52623",
"07992", "12369", "18601", "03742", "83873",
/* 97 */"83080", "12451", "38992", "22815", "07759",
"51777", "97377", "27585", "51972", "37867",
/* 98 */"16444", "24334", "36151", "99073", "27493",
"70939", "85130", "32552", "54846", "54759",
/* 99 */"60790", "18157", "57178", "65762", "11161",
"78576", "45819", "52979", "65130", "04860",
/* 100 */"03991", "10461", "93716", "16894", "66083",
"24653", "84609", "58232", "88618", "19161",
/* 101 */"38555", "95554", "32886", "59780", "08355",
"60860", "29735", "47762", "71299", "23853",
/* 102 */"17546", "73704", "92052", "46215", "55121",
"29281", "59076", "07936", "27954", "58909",
/* 103 */"32643", "52861", "95819", "06831", "00911",
"98936", "76355", "93779", "80863", "00514",
/* 104 */"69572", "68777", "39510", "35905", "14060",
"40619", "29549", "69616", "33564", "60780",
/* 105 */"24122", "66591", "27699", "06494", "14845",
"46672", "61958", "77100", "90899", "75754",
/* 106 */"61196", "30231", "92962", "61773", "41839",
"55382", "17267", "70943", "78038", "70267",
/* 107 */"30532", "21704", "10274", "12202", "39685",
"23309", "10061", "68829", "55986", "66485",
/* 108 */"03788", "97599", "75867", "20717", "74416",
"53166", "35208", "33374", "87539", "08823",
/* 109 */"48228", "63379", "85783", "47619", "53152",
"67433", "35663", "52972", "16818", "60311",
/* 110 */"60365", "94653", "35075", "33949", "42614",
"29297", "01918", "28316", "98953", "73231",
/* 111 */"83799", "42402", "56623", "34442", "34994",
"41374", "70071", "14736", "09958", "18065",
/* 112 */"32960", "07405", "36409", "83232", "99385",
"41600", "11133", "07586", "15917", "06253",
/* 113 */"19322", "53845", "57620", "52606", "66497",
"68646", "78138", "66559", "19640", "99413",
/* 114 */"11220", "94747", "07399", "37408", "48509",
"23929", "27482", "45476", "85244", "35159",
/* 115 */"31751", "57260", "68980", "05339", "15470",
"48355", "88651", "22596", "03152", "19121",
/* 116 */"88492", "99382", "14454", "04504", "20094",
"98977", "74843", "93413", "22109", "78508",
/* 117 */"30934", "47744", "07481", "83828", "73788",
"06533", "28597", "20405", "94205", "20380",
/* 118 */"22888", "48893", "27499", "98748", "60530",
"45128", "74022", "84617", "82037", "10268",
/* 119 */"78212", "16993", "35902", "91386", "44372",
"15486", "65741", "14014", "87481", "37220",
/* 120 */"41849", "84547", "46850", "52326", "34677",
"58300", "74910", "64345", "19325", "81549",
/* 121 */"46352", "33049", "69248", "93460", "45305",
"07521", "61318", "31855", "14413", "70951",
/* 122 */"11087", "96294", "14013", "31792", "59747",
"67277", "76503", "34513", "39663", "77544",
/* 123 */"52701", "08337", "56303", "87315", "16520",
"69676", "11654", "99893", "02181", "68161",
/* 124 */"57275", "36898", "81304", "48585", "68652",
"27376", "92852", "55866", "88448", "03584",
/* 125 */"20857", "73156", "70284", "24326", "79375",
"95220", "01159", "63267", "10622", "48391",
/* 126 */"15633", "84924", "90415", "93614", "33521",
"26665", "55823", "47641", "86225", "31704",
/* 127 */"92694", "48297", "39904", "02115", "59589",
"49067", "66821", "41575", "49767", "04037",
/* 128 */"77613", "19019", "88152", "00080", "20554",
"91409", "96277", "48257", "50816", "97616",
/* 129 */"38688", "32486", "45134", "63545", "59404",
"72059", "43947", "51680", "43852", "59693",
/* 130 */"25163", "01889", "70014", "15021", "41290",
"67312", "71857", "15957", "68971", "11403",
/* 131 */"65251", "07629", "37239", "33295", "05870",
"01119", "92784", "26340", "18477", "65622",
/* 132 */"36815", "43625", "18637", "37509", "82444",
"99005", "04921", "73701", "14707", "93997",
/* 133 */"64397", "11692", "05327", "82162", "20247",
"81759", "45197", "25332", "83745", "22567",
/* 134 */"04515", "25624", "95096", "67946", "48460",
"85558", "15191", "18782", "16930", "33361",
/* 135 */"83761", "60873", "43253", "84145", "60833",
"25983", "01291", "41349", "20368", "07126",
/* 136 */"14387", "06345", "80854", "09279", "43529",
"06318", "38384", "74761", "41196", "37480",
/* 137 */"51321", "92246", "80088", "77074", "88722",
"56736", "66164", "49431", "66919", "31678",
/* 138 */"72472", "00008", "80890", "18002", "94813",
"31900", "54155", "83436", "35352", "54131",
/* 139 */"05466", "55306", "93128", "18464", "74457",
"90561", "72848", "11834", "79982", "68416",
/* 140 */"39528", "72484", "82474", "25593", "48545",
"35247", "18619", "13674", "18611", "19241",
/* 141 */"81616", "18711", "53342", "44276", "75122",
"11724", "74627", "73707", "58319", "15997",
/* 142 */"07586", "16120", "82641", "22820", "92904",
"13141", "32392", "19763", "61199", "67940",
/* 143 */"90767", "04235", "13574", "17200", "69902",
"63742", "78464", "22501", "18627", "90872",
/* 144 */"40188", "28193", "29593", "88627", "94972",
"11598", "62095", "36787", "00441", "58997",
/* 145 */"34414", "82157", "86887", "55087", "19152",
"00023", "12302", "80783", "32624", "68691",
/* 146 */"63439", "75363", "44989", "16822", "36024",
"00867", "76378", "41605", "65961", "73488",
/* 147 */"67049", "09070", "93399", "45547", "94458",
"74284", "05041", "49807", "20288", "34060",
/* 148 */"79495", "04146", "52162", "90286", "54158",
"34243", "46978", "35482", "59362", "95938",
/* 149 */"91704", "30552", "04737", "21031", "75051",
"93029", "47665", "64382", "99782", "93478",
/* 150 */"94015", "46874", "32444", "48277", "59820",
"96163", "64654", "25843", "41145", "42820",
/* 151 */"74108", "88222", "88570", "74015", "25704",
"91035", "01755", "14750", "48968", "38603",
/* 152 */"62880", "87873", "95160", "59221", "22304",
"90314", "72877", "17334", "39283", "04149",
/* 153 */"11748", "12102", "80580", "41867", "17710",
"59621", "06554", "07850", "73950", "79552",
/* 154 */"17944", "05600", "60478", "03343", "25852",
"58905", "57216", "39618", "49856", "99326",
/* 155 */"66067", "42792", "95043", "52680", "46780",
"56487", "09971", "59481", "37006", "22186",
/* 156 */"54244", "91030", "45547", "70818", "59849",
"96169", "61459", "21647", "87417", "17198",
/* 157 */"30945", "57589", "31732", "57260", "47670",
"07654", "46376", "25366", "94746", "49580",
/* 158 */"69170", "37403", "86995", "90307", "94304",
"71803", "26825", "05511", "12459", "91314",
/* 159 */"08345", "88975", "35841", "85771", "08105",
"59987", "87112", "21476", "14713", "71181",
/* 160 */"27767", "43584", "85301", "88977", "29490",
"69714", "73035", "41207", "74699", "09310",
/* 161 */"13025", "14338", "54066", "15243", "47724",
"66733", "47431", "43905", "31048", "56699",
/* 162 */"80217", "36292", "98525", "24335", "24432",
"24896", "43277", "58874", "11466", "16082",
/* 163 */"10875", "62004", "90391", "61105", "57411",
"06368", "53856", "30743", "08670", "84741",
/* 164 */"54127", "57326", "26629", "19087", "24472",
"88779", "30540", "27886", "61732", "75454",
/* 165 */"60311", "42824", "37301", "42678", "45990",
"43242", "17374", "52003", "70707", "70214",
/* 166 */"49739", "71484", "92003", "98086", "76668",
"73209", "59202", "11973", "02902", "33250",
/* 167 */"78626", "51594", "16453", "94614", "39014",
"97066", "83012", "09832", "25571", "77628",
/* 168 */"66692", "13986", "99837", "00582", "81232",
"44987", "09504", "96412", "90193", "79568",
/* 169 */"44071", "28091", "07362", "97703", "76447",
"42537", "98524", "97831", "65704", "09514",
/* 170 */"41468", "85149", "49554", "17994", "14924",
"39650", "95294", "00556", "70481", "06905",
/* 171 */"94559", "37559", "49678", "53119", "70312",
"05682", "66986", "34099", "74474", "20740",
/* 172 */"41615", "70360", "64114", "58660", "90850",
"64618", "80620", "51790", "11436", "38072",
/* 173 */"50273", "93113", "41794", "86861", "24781",
"89683", "55411", "85667", "77535", "99892",
/* 174 */"41396", "80504", "90670", "08289", "40902",
"05069", "95083", "06783", "28102", "57816",
/* 175 */"25807", "24260", "71529", "78920", "72682",
"07385", "90726", "57166", "98884", "08583",
/* 176 */"06170", "97965", "88302", "98041", "21443",
"41808", "68984", "83620", "89747", "98882",
/* 177 */"60808", "54444", "74412", "81105", "01176",
"28838", "36421", "16489", "18059", "51061",
/* 178 */"80940", "44893", "10408", "36222", "80582",
"71944", "92638", "40333", "67054", "16067",
/* 179 */"19516", "90120", "46759", "71643", "13177",
"55292", "21036", "82808", "77501", "97427",
/* 180 */"49386", "54480", "23604", "23554", "21785",
"41101", "91178", "10174", "29420", "90438",
/* 181 */"06312", "88940", "15995", "69321", "47458",
"64809", "98189", "81851", "29651", "84215",
/* 182 */"60942", "00307", "11897", "92674", "40405",
"68032", "96717", "54244", "10701", "41393",
/* 183 */"92329", "98932", "78284", "46347", "71209",
"92061", "39448", "93136", "25722", "08564",
/* 184 */"77936", "63574", "31384", "51924", "85561",
"29671", "58137", "17820", "22751", "36518",
/* 185 */"38101", "77756", "11657", "13897", "95889",
"57067", "47648", "13885", "70669", "93406",
/* 186 */"39641", "69457", "91339", "22502", "92613",
"89719", "11947", "56203", "19324", "20504",
/* 187 */"84054", "40455", "99396", "63680", "67667",
"60631", "69181", "96845", "38525", "11600",
/* 188 */"47468", "03577", "57649", "63266", "24700",
"71594", "14004", "23153", "69249", "05747",
/* 189 */"43321", "31370", "28977", "23896", "76479",
"68562", "62342", "07589", "08899", "05985",
/* 190 */"64281", "61826", "18555", "64937", "13173",
"33365", "78851", "16499", "87064", "13075",
/* 191 */"66847", "70495", "32350", "02985", "86716",
"38746", "26313", "77463", "55387", "72681",
/* 192 */"72461", "33230", "21529", "53424", "92581",
"02262", "78438", "66276", "18396", "73538",
/* 193 */"21032", "91050", "13058", "16218", "12470",
"56500", "15292", "76139", "59526", "52113",
/* 194 */"95362", "67011", "06651", "16136", "01016",
"00857", "55018", "56374", "35824", "71708",
/* 195 */"49712", "97380", "10404", "55452", "34030",
"60726", "75211", "10271", "36633", "68424",
/* 196 */"58275", "61764", "97586", "54716", "50259",
"46345", "87195", "46092", "26787", "60939",
/* 197 */"89514", "11788", "68224", "23417", "73959",
"76145", "30342", "40277", "11049", "72049",
/* 198 */"15472", "50669", "48139", "36732", "46874",
"37088", "73465", "09819", "58869", "35220",
/* 199 */"12120", "86124", "51247", "44302", "60883",
"52109", "21437", "36786", "49226", "77837",
/* 200 */"19612", "78430", "11661", "94770", "77603",
"65669", "86868", "12665", "30012", "75989",
/* 201 */"39141", "77400", "28000", "64238", "73258",
"71794", "31340", "26256", "66453", "37016",
/* 202 */"64756", "80457", "08747", "12836", "03469",
"50678", "03274", "43423", "66677", "82556",
/* 203 */"92901", "51878", "56441", "22998", "29718",
"38447", "06453", "25311", "07565", "53771",
/* 204 */"03551", "90070", "09483", "94050", "45938",
"18135", "36908", "43321", "11073", "51803",
/* 205 */"98884", "66209", "06830", "53656", "14663",
"56346", "71430", "04909", "19818", "05707",
/* 206 */"27369", "86882", "53473", "07541", "53633",
"70863", "03748", "12822", "19360", "49088",
/* 207 */"59066", "75974", "63335", "20483", "43514",
"37481", "58278", "26967", "49325", "43951",
/* 208 */"91647", "93783", "64169", "49022", "98588",
"09495", "49829", "59068", "38831", "04838",
/* 209 */"83605", "92419", "39542", "07772", "71568",
"75673", "35185", "89759", "44901", "74291",
/* 210 */"24895", "88530", "70774", "35439", "46758",
"70472", "70207", "92675", "91623", "61275",
/* 211 */"35720", "26556", "95596", "20094", "73750",
"85788", "34264", "01703", "46833", "65248",
/* 212 */"14141", "53410", "38649", "06343", "57256",
"61342", "72709", "75318", "90379", "37562",
/* 213 */"27416", "75670", "92176", "72535", "93119",
"56077", "06886", "18244", "92344", "31374",
/* 214 */"82071", "07429", "81007", "47749", "40744",
"56974", "23336", "88821", "53841", "10536",
/* 215 */"21445", "82793", "24831", "93241", "14199",
"76268", "70883", "68002", "03829", "17443",
/* 216 */"72513", "76400", "52225", "92348", "62308",
"98481", "29744", "33165", "33141", "61020",
/* 217 */"71479", "45027", "76160", "57411", "13780",
"13632", "52308", "77762", "88874", "33697",
/* 218 */"83210", "51466", "09088", "50395", "26743",
"05306", "21706", "70001", "99439", "80767",
/* 219 */"68749", "95148", "94897", "78636", "96750",
"09024", "94538", "91143", "96693", "61886",
/* 220 */"05184", "75763", "47075", "88158", "05313",
"53439", "14908", "08830", "60096", "21551",
/* 221 */"13651", "62546", "96892", "25240", "47511",
"58483", "87342", "78818", "07855", "39269",
/* 222 */"00566", "21220", "00292", "24069", "25072",
"29519", "52548", "54091", "21282", "21296",
/* 223 */"50958", "17695", "58072", "68990", "60329",
"95955", "71586", "63417", "35947", "67807",
/* 224 */"57621", "64547", "46850", "37981", "38527",
"09037", "64756", "03324", "04986", "83666",
/* 225 */"09282", "25844", "79139", "78435", "35428",
"43561", "69799", "63314", "12991", "93516",
/* 226 */"23394", "94206", "93432", "37836", "94919",
"26846", "02555", "74410", "94915", "48199",
/* 227 */"05280", "37470", "93622", "04345", "15092",
"19510", "18094", "16613", "78234", "50001",
/* 228 */"95491", "97976", "38306", "32192", "82639",
"54624", "72434", "92606", "23191", "74693",
/* 229 */"78521", "00104", "18248", "75583", "90326",
"50785", "54034", "66251", "35774", "14692",
/* 230 */"96345", "44579", "85932", "44053", "75704",
"20840", "86583", "83944", "52456", "73766",
/* 231 */"77963", "31151", "32364", "91691", "47357",
"40338", "23435", "24065", "08458", "95366",
/* 232 */"07520", "11294", "23238", "01748", "41690",
"67328", "54814", "37777", "10057", "42332",
/* 233 */"38423", "02309", "70703", "85736", "46148",
"14258", "29236", "12152", "05088", "65825",
/* 234 */"02463", "65533", "21199", "60555", "33928",
"01817", "07396", "89215", "30722", "22102",
/* 235 */"15880", "92261", "17292", "88190", "61781",
"48898", "92525", "21283", "88581", "60098",
/* 236 */"71926", "00819", "59144", "00224", "30570",
"90194", "18329", "06999", "26857", "19238",
/* 237 */"64425", "28108", "16554", "16016", "00042",
"83229", "10333", "36168", "65617", "94834",
/* 238 */"79782", "23924", "49440", "30432", "81077",
"31543", "95216", "64865", "13658", "51081",
/* 239 */"35337", "74538", "44553", "64672", "90960",
"41849", "93865", "44608", "93176", "34851",
/* 240 */"05249", "29329", "19715", "94082", "14738",
"86667", "43708", "66354", "93692", "25527",
/* 241 */"56463", "99380", "38793", "85774", "19056",
"13939", "46062", "27647", "66146", "63210",
/* 242 */"96296", "33121", "54196", "34108", "75814",
"85986", "71171", "15102", "28992", "63165",
/* 243 */"98380", "36269", "60014", "07201", "62448",
"46385", "42175", "88350", "46182", "49126",
/* 244 */"52567", "64350", "16315", "53969", "80395",
"81114", "54358", "64578", "47269", "15747",
/* 245 */"78498", "90830", "25955", "99236", "43286",
"91064", "99969", "95144", "64424", "77377",
/* 246 */"49553", "24241", "08150", "89535", "08703",
"91041", "77323", "81079", "45127", "93686",
/* 247 */"32151", "07075", "83155", "10252", "73100",
"88618", "23891", "87418", "45417", "20268",
/* 248 */"11314", "50363", "26860", "27799", "49416",
"83534", "19187", "08059", "76677", "02110",
/* 249 */"12364", "71210", "87052", "50241", "90785",
"97889", "81399", "58130", "64439", "05614",
/* 250 */"59467", "58309", "87834", "57213", "37510",
"33689", "01259", "62486", "56320", "46265",
/* 251 */"73452", "17619", "56421", "40725", "23439",
"41701", "93223", "41682", "45026", "47505",
/* 252 */"27635", "56293", "91700", "04391", "67317",
"89604", "73020", "69853", "61517", "51207",
/* 253 */"86040", "02596", "01655", "09918", "45161",
"00222", "54577", "74821", "47335", "08582",
/* 254 */"52403", "94255", "26351", "46527", "68224",
"90183", "85057", "72310", "34963", "83462",
/* 255 */"49465", "46581", "61499", "04844", "94626",
"02963", "41482", "83879", "44942", "63915",
/* 256 */"94365", "92560", "12363", "30246", "02086",
"75036", "88620", "91088", "67691", "67762",
/* 257 */"34261", "08769", "91830", "23313", "18256",
"28850", "37639", "92748", "57791", "71328",
/* 258 */"37110", "66538", "39318", "15626", "44324",
"82827", "08782", "65960", "58167", "01305",
/* 259 */"83950", "45424", "72453", "19444", "68219",
"64733", "94088", "62006", "89985", "36936",
/* 260 */"61630", "97966", "76537", "46467", "30942",
"07479", "67971", "14558", "22458", "35148",
/* 261 */"01929", "17165", "12037", "74558", "16250",
"71750", "55546", "29693", "94984", "37782",
/* 262 */"41659", "39098", "23982", "29899", "71594",
"77979", "54477", "13764", "17315", "72893",
/* 263 */"32031", "39608", "75992", "73445", "01317",
"50525", "87313", "45191", "30214", "19769",
/* 264 */"90043", "93478", "58044", "06949", "31176",
"88370", "50274", "83987", "45316", "38551",
/* 265 */"79418", "14322", "91065", "07841", "36130",
"86602", "10659", "40859", "00964", "71577",
/* 266 */"85447", "61079", "96910", "72906", "07361",
"84338", "34114", "52096", "66715", "51091",
/* 267 */"86219", "81115", "49625", "48799", "89485",
"24855", "13684", "68433", "70595", "70102",
/* 268 */"71712", "88559", "92476", "32903", "68009",
"58417", "87962", "11787", "16644", "72964",
/* 269 */"29776", "63075", "13270", "84758", "49560",
"10317", "28778", "23006", "31036", "84906",
/* 270 */"81488", "17340", "74154", "42801", "27917",
"89792", "62604", "62234", "13124", "76471",
/* 271 */"51667", "37589", "87147", "24743", "48023",
"06325", "79794", "35889", "13255", "04925",
/* 272 */"99004", "70322", "60832", "76636", "56907",
"56534", "72615", "46288", "36788", "93196",
/* 273 */"68656", "66492", "35933", "52293", "47953",
"95495", "95304", "50009", "83464", "28608",
/* 274 */"38074", "74083", "09337", "07965", "65047",
"36871", "59015", "21769", "30398", "44855",
/* 275 */"01020", "80680", "59328", "08712", "48190",
"45332", "27284", "31287", "66011", "09376",
/* 276 */"86379", "74508", "33579", "77114", "92955",
"23085", "92824", "03054", "25242", "16322",
/* 277 */"48498", "09938", "44420", "13484", "52319",
"58875", "02012", "88591", "52500", "95795",
/* 278 */"41800", "95363", "54142", "17482", "32705",
"60564", "12505", "40954", "46174", "64130",
/* 279 */"63026", "96712", "79883", "39225", "52653",
"69549", "36693", "59822", "22684", "31661",
/* 280 */"88298", "15489", "16030", "42480", "15372",
"38781", "71995", "77438", "91161", "10192",
/* 281 */"07839", "62735", "99218", "25624", "02547",
"27445", "69187", "55749", "32322", "15504",
/* 282 */"73298", "51108", "48717", "92926", "75705",
"89787", "96114", "99902", "37749", "96305",
/* 283 */"12829", "70474", "00838", "50385", "91711",
"80370", "56504", "56857", "80906", "09018",
/* 284 */"76569", "61072", "48568", "36491", "22587",
"44363", "39592", "61546", "90181", "37348",
/* 285 */"41665", "41339", "62106", "44203", "06732",
"76111", "79840", "67999", "32231", "76869",
/* 286 */"58652", "49983", "01669", "27464", "79553",
"52855", "25988", "18087", "38052", "17529",
/* 287 */"13607", "00657", "76173", "43357", "77334",
"24140", "53860", "02906", "89863", "44651",
/* 288 */"55715", "26203", "65933", "51087", "98234",
"40625", "45545", "63563", "89148", "82581",
/* 289 */"04110", "66683", "99001", "09796", "47349",
"65003", "66524", "81970", "71262", "14479",
/* 290 */"31300", "08681", "58068", "44115", "40064",
"77879", "23965", "69019", "73985", "19453",
/* 291 */"26225", "97543", "37044", "07494", "85778",
"35345", "61115", "92498", "49737", "64599",
/* 292 */"07158", "82763", "25072", "38478", "57782",
"75291", "62155", "52056", "04786", "11585",
/* 293 */"71251", "25572", "79771", "93328", "66927",
"54069", "58752", "26624", "50463", "77361",
/* 294 */"29991", "96526", "02820", "91659", "12818",
"96356", "49499", "01507", "40223", "09171",
/* 295 */"83642", "21057", "02677", "09367", "38097",
"16100", "19355", "06120", "15378", "56559",
/* 296 */"69167", "30235", "06767", "66323", "78294",
"14916", "19124", "88044", "16673", "66102",
/* 297 */"86018", "29406", "75415", "22038", "27056",
"26906", "25867", "14751", "92380", "30434",
/* 298 */"44114", "06026", "79553", "55091", "95385",
"41212", "37882", "46864", "54717", "97038",
/* 299 */"53805", "64150", "70915", "63127", "63695",
"41288", "38192", "72437", "75075", "18570",
/* 300 */"52065", "08853", "30104", "79937", "66913",
"53200", "84570", "78079", "28970", "53859",
/* 301 */"37632", "80274", "35240", "32960", "74859",
"07359", "55176", "03930", "38984", "35151",
/* 302 */"82576", "82805", "94031", "12779", "90879",
"24109", "25367", "77861", "09541", "85739",
/* 303 */"69023", "64971", "99321", "07521", "95909",
"43897", "71724", "92581", "05471", "64337",
/* 304 */"98949", "03606", "78236", "78985", "29212",
"57369", "34857", "67757", "58019", "58872",
/* 305 */"96526", "28749", "56592", "37871", "72905",
"70198", "57319", "54116", "47014", "18285",
/* 306 */"33692", "72111", "60958", "96848", "17893",
"40993", "50445", "14186", "76877", "87867",
/* 307 */"50335", "09513", "44346", "26439", "55293",
"06449", "44301", "63740", "40158", "72703",
/* 308 */"88321", "85062", "57345", "66231", "15409",
"03451", "95261", "43561", "15673", "28956",
/* 309 */"90303", "62469", "82517", "43035", "36850",
"15592", "64098", "59022", "31752", "04370",
/* 310 */"50486", "11885", "23085", "41712", "80692",
"48492", "16495", "99721", "36912", "28267",
/* 311 */"27882", "16269", "64483", "11273", "02680",
"01616", "46138", "54606", "14761", "05134",
/* 312 */"45144", "63213", "49666", "27441", "86989",
"29884", "54334", "06740", "08368", "80051",
/* 313 */"81020", "17882", "74973", "74531", "94994",
"24927", "64894", "22667", "20466", "82948",
/* 314 */"66831", "47427", "76033", "31197", "59817",
"20064", "61135", "28556", "29695", "80179",
/* 315 */"74058", "18293", "09963", "35278", "13062",
"83094", "23373", "90287", "33477", "48865",
/* 316 */"30348", "70174", "11468", "25994", "25343",
"22317", "01587", "30682", "00001", "67814",
/* 317 */"59557", "23362", "13746", "82244", "42093",
"24671", "79458", "93730", "45488", "60234",
/* 318 */"67098", "09899", "25775", "00332", "36636",
"57594", "19958", "85564", "58977", "12247",
/* 319 */"60774", "66371", "69442", "20385", "14486",
"91330", "50332", "46023", "75768", "59877",
/* 320 */"60081", "92936", "72302", "75064", "85727",
"52987", "05750", "19384", "33684", "78859",
/* 321 */"80458", "69902", "34870", "88684", "49762",
"40801", "86291", "18194", "90366", "82639",
/* 322 */"53844", "96326", "65728", "48563", "26027",
"52692", "62406", "76294", "41848", "63010",
/* 323 */"69841", "29451", "36170", "21529", "16525",
"64326", "22086", "24469", "57407", "96033",
/* 324 */"37771", "31002", "18311", "93285", "31948",
"14331", "58335", "15977", "80336", "81667",
/* 325 */"27286", "24361", "61638", "57580", "95270",
"46180", "76990", "53031", "94366", "02727",
/* 326 */"49944", "19278", "05756", "51875", "53445",
"33342", "01965", "07937", "10054", "97712",
/* 327 */"87693", "58124", "46064", "39133", "77385",
"09605", "65359", "70113", "90563", "86637",
/* 328 */"94282", "12025", "31926", "24541", "23854",
"58407", "32131", "92845", "20714", "27898",
/* 329 */"26917", "50326", "35145", "50859", "72119",
"95094", "29441", "42301", "62460", "75252",
/* 330 */"94267", "38422", "73047", "24200", "85349",
"72049", "91723", "97802", "98496", "12734",
/* 331 */"73432", "10371", "57213", "53300", "80847",
"46229", "07099", "72961", "13767", "65654",
/* 332 */"31102", "82119", "96946", "65919", "81083",
"03819", "57888", "57908", "16849", "77111",
/* 333 */"41429", "92261", "45263", "01172", "55926",
"78835", "27697", "48420", "58865", "41207",
/* 334 */"21406", "08582", "10785", "36233", "12237",
"07866", "13706", "92551", "11021", "63813",
/* 335 */"71512", "65206", "37768", "94325", "14721",
"20990", "54235", "71986", "05345", "56239",
/* 336 */"52028", "01419", "07215", "55067", "11669",
"21738", "66605", "69621", "69827", "08537",
/* 337 */"18638", "60982", "28151", "98885", "76431",
"25566", "03085", "23639", "30849", "63986",
/* 338 */"73287", "26201", "36174", "14106", "54102",
"57041", "16141", "64174", "03591", "90024",
/* 339 */"73332", "31254", "17288", "59809", "25061",
"51612", "47951", "16570", "43330", "79213",
/* 340 */"11354", "55585", "19646", "99246", "37564",
"32660", "20632", "21124", "60597", "69315",
/* 341 */"31312", "57741", "85108", "21615", "24365",
"27684", "16124", "33888", "14966", "35303",
/* 342 */"69921", "15795", "04020", "67672", "86816",
"63027", "84470", "45605", "44887", "26222",
/* 343 */"79888", "58982", "22466", "98844", "48353",
"60666", "58256", "31140", "93507", "69561",
/* 344 */"06256", "88526", "18655", "00865", "75247",
"00264", "65957", "98261", "72706", "36396",
/* 345 */"46065", "85700", "32121", "99975", "73627",
"78812", "89638", "86602", "96758", "65099",
/* 346 */"52777", "46792", "13790", "55240", "52002",
"10313", "91933", "71231", "10053", "78416",
/* 347 */"54563", "96004", "42215", "30094", "45958",
"48437", "49591", "50483", "13422", "69108",
/* 348 */"59952", "27896", "40450", "79327", "31962",
"46456", "39260", "51479", "61882", "48181",
/* 349 */"50691", "64709", "32902", "10676", "12083",
"35771", "79656", "56667", "76783", "03937",
/* 350 */"99859", "10362", "57411", "40986", "35045",
"02838", "29255", "64230", "84418", "34988",
/* 351 */"77644", "39892", "77327", "74129", "53444",
"35487", "95803", "38640", "20383", "55402",
/* 352 */"25793", "14213", "87082", "42837", "95030",
"97198", "61608", "97723", "79390", "35290",
/* 353 */"34683", "81419", "87133", "70447", "53127",
"97146", "28299", "56763", "12868", "01145",
/* 354 */"12147", "58158", "92124", "60934", "18414",
"97510", "07056", "54488", "20719", "53743",
/* 355 */"91037", "44797", "52110", "08512", "18991",
"20129", "31441", "51449", "14661", "71126",
/* 356 */"23180", "68124", "18807", "70997", "21913",
"19594", "70355", "73637", "68266", "60775",
/* 357 */"43164", "52643", "96363", "77989", "79332",
"39890", "65379", "20405", "52935", "43816",
/* 358 */"92740", "95319", "04538", "60660", "28982",
"15328", "80475", "34690", "02293", "19646",
/* 359 */"46524", "96627", "33159", "42081", "08816",
"74931", "20674", "08697", "66169", "46460",
/* 360 */"46326", "39923", "60625", "28386", "22919",
"19415", "75766", "43668", "31626", "70301",
/* 361 */"67053", "03949", "70082", "02303", "48642",
"38429", "94053", "38770", "68137", "68441",
/* 362 */"52928", "70244", "91954", "17401", "92693",
"98342", "21451", "84988", "80487", "33807",
/* 363 */"73797", "49494", "41878", "76635", "83227",
"76618", "11946", "13451", "87591", "78381",
/* 364 */"21407", "90038", "72638", "69692", "51599",
"86413", "32019", "64856", "74730", "41531",
/* 365 */"11064", "01790", "58817", "86400", "66213",
"92599", "70905", "78324", "54326", "43659",
/* 366 */"34206", "63132", "38837", "40210", "96346",
"16967", "81619", "96503", "14881", "89405",
/* 367 */"32205", "49508", "98425", "02451", "35423",
"56072", "36810", "30332", "85998", "49358",
/* 368 */"92748", "84147", "79835", "94867", "41224",
"61794", "35066", "82220", "66684", "20096",
/* 369 */"02754", "41731", "37068", "32753", "91059",
"13407", "05607", "69384", "53329", "95909",
/* 370 */"44968", "11397", "92973", "50014", "92997",
"80968", "93761", "57598", "74703", "07768",
/* 371 */"37978", "73873", "33475", "09720", "97852",
"98449", "48722", "84977", "11271", "11728",
/* 372 */"68318", "22312", "78792", "87508", "88466",
"72976", "47099", "84126", "38595", "85124",
/* 373 */"64405", "90020", "07492", "52413", "95111",
"34455", "86311", "68892", "01074", "60274",
/* 374 */"28136", "19328", "38161", "57475", "13771",
"63562", "84207", "94121", "18901", "52768",
/* 375 */"33801", "82087", "86091", "59969", "90398",
"56870", "55756", "78841", "98450", "54165",
/* 376 */"55106", "50343", "70519", "14567", "36780",
"55450", "19606", "83749", "67562", "64765",
/* 377 */"38543", "16585", "86841", "73742", "08766",
"39252", "75678", "75379", "78760", "37279",
/* 378 */"15280", "13558", "95916", "89759", "76686",
"76467", "67147", "63110", "94008", "08037",
/* 379 */"35263", "53710", "16667", "79008", "11231",
"29397", "67136", "18601", "64502", "90228",
/* 380 */"89109", "72849", "22711", "65547", "34542",
"26686", "81678", "87765", "77654", "23664",
/* 381 */"96352", "14106", "32938", "28083", "18633",
"80286", "65507", "46197", "52722", "75476",
/* 382 */"77816", "47204", "34876", "45963", "79262",
"90181", "84041", "03745", "90041", "30780",
/* 383 */"27226", "92847", "85572", "15308", "80688",
"05761", "82638", "13464", "23683", "81015",
/* 384 */"54214", "64175", "43701", "86845", "15569",
"50687", "52679", "87696", "08285", "97444",
/* 385 */"47599", "94472", "64150", "87753", "68652",
"60726", "26213", "17320", "64553", "81285",
/* 386 */"98126", "12158", "52095", "64833", "00492",
"35817", "55571", "91300", "97812", "37507",
/* 387 */"04209", "53515", "64342", "21223", "16662",
"43265", "68219", "03529", "43636", "68417",
/* 388 */"53640", "95326", "93381", "37113", "80751",
"76469", "96677", "43054", "22937", "31954",
/* 389 */"13266", "34140", "27253", "02734", "99070",
"60077", "57988", "93211", "92795", "83795",
/* 390 */"57477", "03941", "39007", "14619", "38320",
"93449", "31336", "25279", "97030", "26245",
/* 391 */"47394", "39475", "90621", "23820", "29344",
"94859", "91604", "14033", "41868", "14816",
/* 392 */"04075", "66644", "87803", "97815", "99552",
"78666", "03942", "08175", "22345", "19983",
/* 393 */"76783", "99044", "20851", "84981", "59052",
"77178", "72109", "76475", "21619", "73017",
/* 394 */"06812", "56633", "50612", "55289", "04671",
"84419", "94072", "94446", "80603", "32188",
/* 395 */"93415", "23464", "43947", "43728", "74284",
"67177", "57105", "31059", "10642", "13803",
/* 396 */"69602", "46961", "66567", "19359", "84676",
"63918", "40650", "12923", "15974", "79732",
/* 397 */"20225", "92525", "71179", "04859", "91208",
"60430", "05239", "61458", "24089", "68852",
/* 398 */"60171", "29603", "42535", "86365", "93905",
"28237", "45317", "60718", "82001", "41679",
/* 399 */"20679", "56304", "70043", "87568", "21386",
"59049", "78353", "48696", "77379", "55309",
/* 400 */"23780", "28391", "05940", "55583", "81256",
"59418", "97521", "32846", "70761", "90115",
/* 401 */"45325", "05490", "65974", "11186", "15357",
"03568", "00450", "96644", "58976", "36211",
/* 402 */"88240", "92457", "89200", "94696", "11370",
"91157", "48487", "59501", "56983", "89795",
/* 403 */"42789", "69758", "79701", "29511", "55968",
"41472", "89474", "84344", "80517", "07485",
/* 404 */"97523", "17264", "82840", "59556", "37119",
"30985", "48866", "60605", "95719", "70417",
/* 405 */"59083", "95137", "76538", "44155", "67286",
"57897", "28262", "04052", "00919", "86207",
/* 406 */"79932", "44236", "10089", "44373", "65670",
"44285", "06903", "20834", "49701", "95735",
/* 407 */"21149", "03425", "17594", "31427", "14262",
"32252", "68540", "39427", "44026", "47257",
/* 408 */"45055", "95091", "08367", "28381", "57375",
"41562", "83883", "27715", "10122", "67745",
/* 409 */"46497", "28626", "87297", "36568", "39483",
"11385", "63292", "92305", "78683", "06146",
/* 410 */"81905", "15038", "38338", "51206", "65749",
"34119", "71516", "74068", "51094", "06665",
/* 411 */"91884", "66762", "11428", "70908", "21506",
"00480", "94183", "78484", "66507", "75901",
/* 412 */"25728", "52539", "86806", "69944", "65036",
"27882", "02530", "04918", "74351", "65737",
/* 413 */"89178", "08791", "39342", "94963", "22581",
"56917", "17541", "83578", "75376", "65202",
/* 414 */"30935", "79270", "91986", "99286", "45236",
"44720", "81915", "70881", "45886", "43213",
/* 415 */"49789", "97081", "16075", "20517", "69980",
"25310", "91953", "01759", "67635", "88933",
/* 416 */"54558", "18395", "73375", "62251", "58871",
"09870", "70538", "48936", "07757", "90374",
/* 417 */"56631", "88862", "30487", "38794", "36079",
"32712", "11130", "55451", "25137", "38785",
/* 418 */"83558", "31960", "69473", "45950", "18225",
"09871", "88502", "75179", "11551", "75664",
/* 419 */"74321", "67351", "27703", "83717", "18913",
"42470", "08816", "37627", "14288", "62831",
/* 420 */"44047", "67612", "72738", "26995", "50933",
"63758", "50003", "43693", "52661", "55852",
/* 421 */"52372", "59042", "37595", "04931", "73622",
"68387", "86478", "40997", "05245", "75300",
/* 422 */"24902", "59609", "35653", "15970", "37681",
"69365", "22236", "86374", "65550", "00343",
/* 423 */"98377", "35354", "65770", "15365", "41422",
"71356", "16630", "40044", "19290", "66449",
/* 424 */"53629", "79452", "71674", "30260", "97303",
"06487", "62789", "13005", "70152", "22501",
/* 425 */"49867", "89294", "59232", "31776", "54919",
"99851", "05438", "01096", "72269", "50486",
/* 426 */"16719", "06144", "82041", "38332", "64452",
"31840", "99287", "59928", "25503", "08407",
/* 427 */"46970", "45907", "99238", "74547", "19704",
"72035", "26542", "54600", "79172", "58779",
/* 428 */"35747", "78956", "11478", "41195", "58135",
"63856", "33037", "45753", "60159", "25193",
/* 429 */"71838", "07526", "07985", "60714", "88627",
"75790", "38454", "96110", "39237", "19792",
/* 430 */"34534", "70169", "24805", "63215", "38175",
"38784", "38855", "24826", "50917", "25147",
/* 431 */"17082", "26997", "32295", "10894", "21805",
"65245", "85407", "37926", "69214", "38579",
/* 432 */"84721", "23544", "88548", "65626", "75517",
"69737", "55626", "52175", "21697", "19453",
/* 433 */"16908", "82841", "24060", "40285", "19195",
"80281", "89322", "15232", "70043", "60691",
/* 434 */"86370", "91949", "19017", "83846", "77869",
"14321", "95102", "87073", "71467", "31305",
/* 435 */"64677", "80358", "52629", "79419", "22359",
"87867", "48296", "50141", "46807", "82184",
/* 436 */"95812", "84665", "74511", "59914", "04146",
"90417", "58508", "62875", "17630", "21868",
/* 437 */"09199", "30322", "33352", "43374", "25473",
"04119", "63086", "14147", "14863", "38020",
/* 438 */"44757", "98628", "57916", "22199", "11865",
"42911", "62651", "78290", "09392", "77294",
/* 439 */"63168", "21043", "17409", "13786", "27475",
"75979", "89668", "43596", "74316", "84489",
/* 440 */"54941", "95992", "45445", "41059", "55142",
"15214", "42903", "16799", "88254", "95984",
/* 441 */"48575", "77822", "21067", "57238", "35352",
"96779", "89564", "23797", "99937", "46379",
/* 442 */"27119", "16060", "30302", "95327", "12849",
"38111", "97090", "07598", "78473", "63079",
/* 443 */"18570", "72803", "70040", "91385", "96436",
"96263", "17368", "56188", "85999", "50026",
/* 444 */"36050", "73736", "13351", "48321", "28357",
"51718", "65636", "72903", "21584", "21060",
/* 445 */"39829", "15564", "04716", "14594", "22363",
"97639", "65937", "17802", "31535", "42767",
/* 446 */"98761", "30987", "57657", "33398", "63053",
"25926", "20944", "19306", "81727", "02695",
/* 447 */"97479", "79172", "72764", "66446", "78864",
"12698", "15812", "97209", "38827", "91016",
/* 448 */"91281", "57875", "45228", "49211", "69755",
"99224", "43999", "62879", "08879", "80015",
/* 449 */"74396", "57146", "64665", "31159", "06980",
"79069", "37409", "75037", "69977", "85919",
/* 450 */"42826", "06974", "61063", "97640", "13433",
"92528", "91311", "08440", "38840", "22362",
/* 451 */"93929", "01836", "36590", "75052", "89475",
"15437", "65648", "99012", "70236", "12307",
/* 452 */"83585", "00414", "62851", "48787", "28447",
"21702", "57033", "29633", "44760", "34165",
/* 453 */"27548", "37516", "24343", "63046", "02081",
"20378", "19510", "42226", "97134", "68739",
/* 454 */"32982", "56455", "53129", "77693", "25022",
"55534", "99375", "30086", "98001", "07432",
/* 455 */"67126", "76656", "29347", "28492", "43108",
"64736", "32278", "84816", "80440", "30461",
/* 456 */"00818", "09136", "01952", "48442", "91058",
"92590", "10443", "05195", "34009", "32141",
/* 457 */"62209", "43740", "54102", "76895", "98172",
"31583", "04155", "66492", "58981", "16591",
/* 458 */"11331", "06838", "03818", "77063", "12523",
"45570", "68970", "70055", "77751", "73743",
/* 459 */"71732", "04704", "61384", "57343", "66682",
"44500", "89745", "10436", "67202", "36455",
/* 460 */"42467", "88801", "91280", "01056", "27534",
"81619", "79004", "25824", "66362", "33280",
/* 461 */"20706", "31929", "57422", "18730", "96197",
"22101", "47592", "02180", "18287", "82310",
/* 462 */"60430", "59627", "26471", "07794", "60475",
"76713", "45427", "89654", "14370", "81674",
/* 463 */"41246", "98416", "08669", "48883", "77154",
"09806", "94015", "60347", "20027", "08405",
/* 464 */"33150", "27368", "53375", "70171", "59431",
"14534", "34018", "85665", "77797", "17944",
/* 465 */"49602", "74391", "48830", "55029", "10371",
"94261", "16658", "68400", "44148", "28150",
/* 466 */"40364", "90913", "73151", "64463", "50058",
"78191", "84439", "82478", "62398", "03113",
/* 467 */"17578", "12830", "06571", "95934", "09132",
"25287", "78731", "80683", "67207", "76597",
/* 468 */"42096", "34934", "76609", "52553", "47508",
"71561", "08038", "83011", "72577", "95790",
/* 469 */"40076", "20292", "32138", "61197", "95476",
"23123", "26648", "13611", "48452", "39963",
/* 470 */"85857", "04855", "27029", "01542", "72443",
"53688", "82635", "56264", "07977", "23090",
/* 471 */"93553", "65434", "12124", "91087", "87800",
"95675", "99419", "44659", "30382", "55263",
/* 472 */"82514", "86800", "16781", "65977", "65946",
"13033", "93895", "04056", "75895", "47878",
/* 473 */"91309", "51233", "81409", "46773", "69135",
"56906", "84493", "34530", "84534", "38312",
/* 474 */"54574", "92933", "77341", "20839", "36126",
"01143", "35356", "35459", "07959", "98335",
/* 475 */"53266", "36146", "78047", "50607", "22486",
"63308", "08996", "96056", "39085", "26567",
/* 476 */"06779", "62663", "30523", "47881", "41279",
"49864", "82248", "78333", "29466", "48151",
/* 477 */"41957", "93235", "53308", "22682", "90722",
"54478", "07235", "34306", "15827", "20121",
/* 478 */"96837", "06283", "80172", "66109", "92592",
"48238", "76428", "94546", "45430", "16288",
/* 479 */"74839", "00740", "25553", "83767", "35900",
"05998", "07493", "46755", "11449", "88824",
/* 480 */"44906", "33143", "07454", "56652", "34755",
"63992", "59674", "65131", "46358", "12799",
/* 481 */"96988", "51158", "73176", "01184", "49925",
"63519", "11785", "29073", "72850", "47997",
/* 482 */"75172", "55187", "15313", "40725", "33225",
"56643", "10465", "38583", "86440", "97967",
/* 483 */"26401", "17078", "38765", "33454", "19136",
"57712", "48446", "98790", "27315", "71074",
/* 484 */"10157", "57946", "35582", "49383", "61324",
"26572", "84503", "03496", "60449", "17962",
/* 485 */"26017", "65651", "40400", "83246", "80056",
"75306", "75147", "41863", "25581", "87530",
/* 486 */"33193", "43294", "05065", "99644", "62771",
"75986", "79005", "44924", "18703", "40889",
/* 487 */"04403", "05862", "02571", "82500", "74200",
"36170", "46836", "74642", "65471", "26815",
/* 488 */"30937", "64946", "10160", "15544", "31962",
"54015", "28853", "66533", "14573", "79398",
/* 489 */"47391", "73165", "47805", "77589", "16881",
"13423", "89452", "76992", "62509", "09796",
/* 490 */"57540", "13486", "48855", "25546", "47589",
"21012", "47388", "78428", "70196", "84413",
/* 491 */"81026", "87597", "22445", "83769", "85937",
"38321", "85485", "87359", "09839", "67228",
/* 492 */"71179", "94372", "04446", "62801", "50775",
"96179", "40646", "44272", "12417", "47199",
/* 493 */"39701", "30665", "32775", "66525", "53558",
"78882", "31939", "67209", "38906", "34533",
/* 494 */"99914", "27719", "00216", "99225", "96537",
"03843", "90564", "91110", "51838", "30300",
/* 495 */"09559", "37795", "94880", "11325", "44979",
"89696", "28129", "29931", "89971", "46292",
/* 496 */"92710", "11036", "74760", "75307", "12291",
"49618", "16293", "92408", "67928", "80823",
/* 497 */"32872", "25460", "66819", "35374", "04035",
"99087", "61129", "11341", "39118", "10891",
/* 498 */"37217", "63638", "75477", "30068", "42334",
"57570", "06890", "59353", "89939", "37692",
/* 499 */"15232", "20033", "32202", "22348", "02766",
"96791", "58448", "92248", "05769", "96684",
/* 500 */"67885", "99295", "47271", "38655", "59513",
"96960", "31718", "08974", "16122", "20535",
/* 501 */"52380", "29769", "70660", "57425", "50891",
"75044", "84257", "73315", "38181", "28673",
/* 502 */"93140", "26307", "82265", "78382", "19681",
"56585", "08975", "76764", "39956", "83450",
/* 503 */"84663", "89963", "71584", "57696", "30829",
"60527", "64947", "34899", "28805", "28397",
/* 504 */"91830", "51842", "99838", "39839", "66971",
"67177", "74219", "35637", "35634", "93581",
/* 505 */"81746", "29991", "81096", "94279", "02968",
"62561", "02479", "82126", "25702", "67953",
/* 506 */"88088", "50293", "83423", "86206", "39935",
"23253", "43041", "48941", "85787", "08388",
/* 507 */"06671", "43574", "84908", "67295", "33623",
"55060", "28174", "48415", "02529", "22009",
/* 508 */"24524", "05283", "30460", "32399", "80423",
"56929", "40852", "69969", "88541", "05979",
/* 509 */"91496", "64730", "57198", "83145", "39750",
"03568", "54669", "98679", "04297", "51047",
/* 510 */"31492", "47734", "31343", "31180", "00232",
"19707", "24823", "75079", "73943", "17997",
/* 511 */"08446", "91252", "39879", "58682", "82972",
"18417", "39203", "36681", "42895", "08459",
/* 512 */"15618", "17941", "52594", "43277", "16530",
"40052", "91100", "87422", "47230", "95699",
/* 513 */"49794", "50492", "87439", "86354", "04546",
"65333", "11057", "77727", "19748", "38722",
/* 514 */"91821", "18107", "42125", "89239", "28847",
"54623", "38783", "47803", "31414", "38450",
/* 515 */"03697", "89186", "30579", "44188", "26532",
"08420", "80723", "48100", "60748", "76330",
/* 516 */"45832", "08311", "16051", "04475", "13400",
"48527", "46073", "17439", "56498", "94632",
/* 517 */"09021", "16871", "83366", "14896", "04219",
"38375", "87890", "90217", "42370", "61028",
/* 518 */"85101", "76771", "83715", "94737", "69973",
"74187", "01958", "59691", "86712", "86570",
/* 519 */"60984", "76342", "13648", "85250", "28323",
"48379", "45141", "36277", "51845", "29039",
/* 520 */"03553", "05128", "59866", "51281", "68124",
"17007", "24729", "29710", "41439", "40574",
/* 521 */"11774", "86746", "89698", "56020", "37810",
"88972", "11361", "95583", "70786", "00589",
/* 522 */"74473", "87513", "17690", "61427", "72914",
"32517", "01804", "97910", "06327", "30246",
/* 523 */"33049", "02622", "41026", "80875", "41293",
"16752", "84225", "84414", "37137", "68956",
/* 524 */"08095", "64981", "28180", "38629", "76962",
"23840", "17477", "75268", "48297", "70340",
/* 525 */"57888", "13938", "38554", "86836", "02195",
"30270", "55484", "53364", "54705", "41380",
/* 526 */"56316", "37723", "00234", "21424", "26664",
"63804", "75139", "36534", "18579", "09833",
/* 527 */"98849", "72762", "59767", "52497", "24227",
"83152", "71794", "21398", "99456", "89215",
/* 528 */"51632", "54799", "27973", "68568", "68465",
"98500", "28681", "18369", "24279", "96335",
/* 529 */"12874", "82160", "67202", "85199", "27908",
"67022", "49810", "77929", "96212", "81153",
/* 530 */"77884", "07032", "01671", "53362", "28119",
"56786", "30883", "28540", "76029", "03774",
/* 531 */"64611", "19736", "25589", "46569", "45206",
"48215", "69523", "17423", "91807", "90039",
/* 532 */"30393", "58319", "85098", "66519", "57571",
"24541", "03562", "14400", "62731", "82534",
/* 533 */"61477", "89731", "18421", "29861", "52829",
"00838", "78040", "43350", "74323", "82892",
/* 534 */"84746", "28302", "13264", "07595", "00134",
"12933", "46831", "24864", "47275", "20527",
/* 535 */"09110", "28485", "30326", "99826", "64005",
"99308", "65779", "42760", "90066", "03974",
/* 536 */"38688", "39968", "32604", "11694", "46262",
"73262", "45405", "43923", "67397", "88228",
/* 537 */"56405", "17839", "92073", "57622", "93328",
"15442", "50186", "07570", "58001", "31000",
/* 538 */"08915", "11467", "14793", "82691", "51238",
"12485", "51745", "18192", "05985", "36826",
/* 539 */"89434", "38669", "91592", "88799", "65621",
"67237", "59541", "19657", "93402", "58705",
/* 540 */"73553", "78280", "69125", "95591", "81168",
"91927", "25976", "89077", "71690", "19404",
/* 541 */"64603", "59752", "74698", "44233", "67602",
"38615", "31303", "28650", "53700", "89819",
/* 542 */"07783", "04351", "77451", "47350", "21234",
"16016", "41532", "76508", "23063", "44993",
/* 543 */"43983", "33356", "61715", "96485", "22121",
"78004", "06316", "87896", "99289", "93981",
/* 544 */"37850", "66128", "92735", "45064", "50924",
"24204", "58816", "65290", "34392", "55567",
/* 545 */"66416", "72353", "45775", "68590", "85685",
"72683", "60090", "37149", "85347", "57414",
/* 546 */"72336", "12979", "05720", "92754", "76911",
"96883", "74420", "05220", "85815", "23557",
/* 547 */"80567", "44365", "70254", "50864", "36619",
"51479", "23281", "76428", "18580", "34240",
/* 548 */"59289", "49076", "18439", "29522", "42541",
"04024", "84446", "92434", "90407", "77241",
/* 549 */"19690", "78143", "65919", "13699", "91844",
"91241", "38361", "67171", "90551", "05709",
/* 550 */"03474", "76025", "97043", "33834", "44638",
"54040", "82797", "00545", "38159", "16089",
/* 551 */"35870", "89158", "55864", "98078", "50563",
"36492", "10994", "85909", "09018", "19252",
/* 552 */"73887", "67928", "60045", "70782", "11937",
"04074", "53814", "46621", "52577", "94853",
/* 553 */"45968", "73667", "65062", "73306", "76045",
"78649", "91654", "53958", "96537", "95542",
/* 554 */"67622", "54579", "17279", "67440", "56441",
"20681", "64011", "52226", "96618", "32831",
/* 555 */"60664", "67547", "39523", "02043", "59748",
"01887", "69229", "94653", "99271", "98164",
/* 556 */"62155", "09234", "47367", "13047", "06364",
"35064", "10073", "06793", "80248", "29009",
/* 557 */"44969", "11129", "17139", "79630", "89772",
"26921", "56949", "23465", "30036", "17173",
/* 558 */"82459", "96218", "60768", "76417", "24405",
"18710", "68887", "82394", "69729", "82503",
/* 559 */"40873", "41590", "67255", "30757", "09657",
"91881", "34578", "09511", "05417", "58953",
/* 560 */"18532", "10721", "22029", "48524", "47778",
"00881", "83489", "03464", "57462", "97459",
/* 561 */"86689", "39755", "39547", "00740", "36666",
"07993", "31671", "86304", "12970", "73402",
/* 562 */"52849", "31652", "79655", "11250", "18463",
"57518", "20306", "25301", "01374", "51208",
/* 563 */"33298", "87662", "61849", "60923", "68685",
"69411", "39266", "80320", "34844", "89416",
/* 564 */"81569", "83651", "35795", "40168", "33501",
"01042", "58931", "03892", "85188", "74740",
/* 565 */"85476", "23790", "33842", "89565", "53359",
"25579", "59049", "62394", "72435", "12457",
/* 566 */"21904", "18370", "97035", "57905", "09581",
"91227", "92754", "37760", "01411", "07440",
/* 567 */"87175", "88318", "63242", "85960", "56690",
"12618", "30493", "11569", "73723", "07448",
/* 568 */"58830", "00157", "65814", "21118", "22140",
"73793", "57855", "81830", "06795", "13183",
/* 569 */"12625", "30635", "56429", "73216", "12342",
"36722", "83886", "96828", "82870", "90954",
/* 570 */"97614", "02370", "42160", "73370", "11944",
"49067", "59452", "80495", "43911", "46712",
/* 571 */"17033", "68037", "41963", "03874", "44856",
"82985", "57453", "84358", "16120", "04454",
/* 572 */"76624", "00405", "62369", "55080", "61880",
"51270", "87807", "10653", "36894", "70850",
/* 573 */"35660", "00234", "14705", "93418", "94084",
"82856", "25384", "71555", "56754", "78315",
/* 574 */"18291", "91656", "98079", "52384", "43306",
"65205", "75903", "58701", "99496", "50048",
/* 575 */"33557", "87793", "90857", "10143", "46726",
"84284", "43635", "41213", "83845", "70986",
/* 576 */"91408", "80220", "05728", "68890", "46577",
"21152", "43759", "43301", "93661", "97252",
/* 577 */"50106", "10099", "13722", "18572", "44024",
"00351", "18173", "23717", "85114", "85998",
/* 578 */"57782", "63951", "53723", "86853", "63851",
"79430", "49181", "46386", "69666", "55743",
/* 579 */"76162", "71724", "40028", "94786", "34457",
"16906", "90040", "30789", "40281", "94697",
/* 580 */"96584", "81907", "04055", "53990", "66397",
"80579", "42517", "78181", "39251", "09467",
/* 581 */"67097", "95523", "66568", "63632", "71048",
"15581", "39904", "75774", "77495", "75994",
/* 582 */"29911", "65690", "41178", "47712", "70355",
"16998", "56025", "05230", "10093", "71495",
/* 583 */"34784", "70950", "54680", "57811", "53782",
"39145", "36829", "85342", "40406", "35883",
/* 584 */"45668", "03459", "29870", "78252", "70088",
"70621", "67153", "05737", "40933", "91075",
/* 585 */"93335", "86853", "15860", "81167", "91259",
"16118", "52401", "83593", "84474", "02423",
/* 586 */"75608", "39646", "90871", "70284", "82100",
"96032", "05115", "63678", "02225", "88087",
/* 587 */"58581", "44364", "57468", "21539", "13042",
"64150", "63754", "05210", "87644", "54114",
/* 588 */"64013", "63562", "41388", "32397", "74152",
"23982", "71982", "71700", "33026", "66477",
/* 589 */"47838", "46712", "39848", "35083", "65927",
"97868", "11067", "76771", "71799", "43836",
/* 590 */"41014", "97025", "93225", "08511", "63096",
"26628", "73012", "12543", "76269", "99708",
/* 591 */"02629", "49845", "73677", "19193", "14924",
"57236", "95564", "15010", "59667", "73773",
/* 592 */"78515", "02624", "99744", "13585", "33746",
"58771", "94785", "62628", "99585", "11363",
/* 593 */"80832", "59979", "09444", "78700", "02596",
"85984", "69438", "16913", "96475", "93283",
/* 594 */"18625", "77086", "45911", "39746", "64722",
"39938", "43930", "54619", "00302", "50384",
/* 595 */"02738", "75714", "75249", "95439", "80714",
"52555", "47266", "96190", "78750", "94973",
/* 596 */"83669", "16479", "53163", "48071", "28000",
"45011", "26733", "67132", "83362", "84162",
/* 597 */"43028", "08415", "27236", "52651", "89059",
"64844", "80910", "01676", "91752", "57815",
/* 598 */"26264", "03415", "57532", "29981", "61200",
"96036", "62600", "20068", "56530", "38487",
/* 599 */"08432", "89514", "26883", "69165", "97237",
"22361", "55276", "39902", "95927", "82190",
/* 600 */"49269", "27212", "46095", "37106", "64254",
"27460", "49572", "51700", "27679", "12574",
/* 601 */"33891", "03867", "09925", "06476", "82018",
"45094", "59014", "67113", "44192", "00075",
/* 602 */"23318", "79895", "70550", "81717", "28833",
"30271", "15821", "14999", "88174", "62617",
/* 603 */"57517", "55256", "50281", "51583", "96879",
"05225", "42272", "05339", "20483", "57596",
/* 604 */"41011", "75937", "22767", "50120", "95938",
"49753", "63882", "99616", "69083", "38721",
/* 605 */"73889", "80236", "99531", "23053", "71237",
"48861", "59046", "76283", "60538", "19732",
/* 606 */"93877", "30345", "64882", "66660", "17026",
"70364", "45676", "08039", "96228", "89936",
/* 607 */"59141", "95585", "89552", "97247", "59325",
"27848", "80058", "15950", "61481", "90906",
/* 608 */"40998", "44137", "16144", "66300", "44091",
"50018", "81364", "18211", "60294", "76559",
/* 609 */"20279", "27414", "10589", "39860", "23000",
"31767", "95618", "56738", "50332", "16936",
/* 610 */"70342", "92481", "30702", "76264", "62619",
"68678", "62284", "83112", "93032", "55203",
/* 611 */"52614", "36950", "41796", "45403", "79262",
"02887", "53596", "61308", "20738", "34811",
/* 612 */"27099", "90956", "65448", "03080", "75795",
"29753", "97699", "80872", "23830", "85882",
/* 613 */"74427", "99523", "74904", "28017", "45898",
"57232", "48525", "07086", "26805", "74533",
/* 614 */"92470", "18840", "76011", "93109", "14344",
"55614", "50284", "15865", "19458", "35856",
/* 615 */"13464", "53679", "64603", "51571", "56124",
"79107", "29596", "89572", "78198", "57121",
/* 616 */"73649", "08804", "87977", "87959", "70859",
"40909", "77295", "87877", "75158", "62810",
/* 617 */"92074", "23244", "59516", "50552", "31602",
"41899", "06347", "27821", "68370", "48596",
/* 618 */"88577", "30231", "25267", "84622", "31449",
"12086", "56461", "22962", "78213", "62483",
/* 619 */"93966", "60437", "52239", "58113", "32526",
"38708", "81607", "57016", "01695", "90110",
/* 620 */"04649", "59990", "23979", "03855", "10297",
"46516", "96092", "82305", "30760", "78756",
/* 621 */"04967", "82876", "04773", "86651", "16648",
"53133", "82439", "78851", "49766", "24553",
/* 622 */"15273", "36417", "01901", "33386", "76979",
"25920", "33372", "02695", "11982", "40911",
/* 623 */"06230", "91696", "43907", "17827", "30332",
"89203", "32215", "91806", "23080", "49102",
/* 624 */"09174", "11548", "54590", "75803", "66108",
"73882", "62324", "26017", "72716", "33887",
/* 625 */"01285", "31604", "71039", "24337", "53514",
"58964", "89901", "22040", "92751", "12617",
/* 626 */"37007", "05523", "61672", "62557", "98540",
"26094", "60284", "19621", "96230", "38044",
/* 627 */"06545", "09458", "42988", "02913", "86345",
"67936", "90174", "40840", "44991", "24256",
/* 628 */"34989", "74086", "13652", "68706", "01363",
"04294", "88008", "78693", "83068", "94746",
/* 629 */"00221", "89299", "53186", "05930", "61889",
"51341", "45412", "58860", "72568", "11381",
/* 630 */"59785", "36887", "10690", "31347", "93326",
"96267", "86987", "57565", "86836", "49071",
/* 631 */"90331", "41248", "34629", "30240", "27270",
"03864", "84308", "03035", "61369", "36902",
/* 632 */"51017", "44409", "17120", "23823", "36460",
"63359", "08333", "63173", "19134", "06493",
/* 633 */"00303", "18550", "26191", "19051", "81502",
"66343", "06737", "90430", "65478", "58982",
/* 634 */"82484", "16483", "47704", "44640", "68322",
"44548", "72787", "02335", "28749", "39320",
/* 635 */"05436", "98146", "56596", "00812", "51445",
"35533", "35478", "47573", "38414", "25542",
/* 636 */"38032", "13442", "42983", "97207", "77854",
"57806", "81616", "52828", "79429", "47389",
/* 637 */"96795", "57764", "19605", "24767", "63253",
"18809", "65093", "44449", "22952", "76872",
/* 638 */"30983", "38948", "09310", "48336", "87651",
"27110", "84427", "76209", "56412", "12760",
/* 639 */"16747", "14551", "82626", "31224", "98636",
"75100", "84882", "79479", "83420", "05347",
/* 640 */"06803", "90063", "04617", "40257", "79183",
"41766", "71873", "25242", "12275", "00336",
/* 641 */"40798", "42055", "74066", "69128", "32547",
"76508", "32530", "42359", "89207", "49758",
/* 642 */"58984", "92732", "15779", "07234", "28884",
"28226", "50011", "35883", "99606", "45423",
/* 643 */"76224", "75427", "85747", "33879", "97978",
"57441", "00927", "19164", "74716", "40702",
/* 644 */"19715", "70917", "60344", "40236", "09019",
"50577", "15598", "53136", "57285", "20536",
/* 645 */"07539", "74832", "89184", "41501", "39447",
"97422", "97041", "21913", "40581", "76081",
/* 646 */"13089", "28776", "54164", "55736", "36263",
"71841", "34488", "74988", "55467", "43322",
/* 647 */"09214", "36746", "67981", "71877", "81683",
"32461", "84091", "19422", "88366", "62054",
/* 648 */"85664", "13409", "08003", "88276", "06989",
"16607", "33633", "85349", "05784", "25950",
/* 649 */"97998", "74110", "16699", "60184", "92818",
"79705", "10381", "01474", "18656", "50434",
/* 650 */"18232", "92132", "66537", "70141", "42854",
"25120", "39581", "28249", "14215", "34810",
/* 651 */"19767", "03409", "11807", "06566", "66138",
"42997", "41999", "67504", "87117", "28961",
/* 652 */"05000", "29673", "77726", "73225", "54753",
"69712", "71576", "92337", "17713", "63185",
/* 653 */"87923", "91889", "68351", "17712", "75532",
"93849", "48280", "62219", "00317", "25290",
/* 654 */"29209", "90927", "92929", "92762", "60413",
"02018", "31793", "76290", "73373", "80777",
/* 655 */"60819", "77375", "57886", "47291", "99670",
"32605", "29064", "99476", "80999", "31217",
/* 656 */"00035", "91300", "14892", "73653", "26593",
"25305", "56797", "12837", "39560", "27582",
/* 657 */"37253", "38531", "76489", "49946", "69108",
"58687", "43092", "73807", "96282", "06648",
/* 658 */"67431", "87124", "57694", "21660", "64002",
"00006", "33600", "30245", "60636", "80164",
/* 659 */"09285", "61426", "04658", "54130", "14710",
"76553", "01904", "93668", "63110", "98618",
/* 660 */"05601", "32199", "74923", "98049", "49717",
"55539", "35940", "58545", "43295", "35810",
/* 661 */"45451", "38735", "42065", "66769", "69825",
"45461", "83881", "67372", "67351", "90612",
/* 662 */"79502", "69460", "23108", "74421", "82990",
"46821", "40683", "71603", "55267", "48192",
/* 663 */"50242", "79738", "96417", "06664", "19929",
"23644", "41116", "51056", "00219", "45086",
/* 664 */"32747", "49492", "15399", "24874", "80825",
"95928", "61457", "45813", "59037", "16136",
/* 665 */"03953", "83583", "05910", "12654", "53630",
"92997", "22168", "93491", "71897", "74579",
/* 666 */"24022", "06278", "24049", "71670", "43044",
"08474", "38572", "77402", "35800", "07455",
/* 667 */"96177", "41653", "74493", "20802", "65843",
"73050", "73349", "02638", "65813", "96209",
/* 668 */"49196", "45007", "32207", "14097", "66059",
"46681", "07534", "71263", "20582", "10171",
/* 669 */"51514", "52142", "60961", "57951", "25637",
"37860", "21683", "86190", "90434", "94481",
/* 670 */"85697", "95344", "02606", "74095", "61133",
"07472", "64777", "94050", "41482", "00975",
/* 671 */"23471", "76052", "82021", "87676", "91345",
"20196", "02612", "86299", "44996", "40312",
/* 672 */"65712", "46079", "88514", "08610", "03685",
"63197", "09073", "53105", "86824", "28112",
/* 673 */"99306", "40706", "66840", "83003", "51590",
"52755", "32285", "68454", "85058", "13645",
/* 674 */"23073", "24724", "52989", "71880", "21952",
"44144", "74975", "76715", "07844", "46447",
/* 675 */"86643", "75579", "29276", "10864", "83179",
"36721", "19300", "35066", "29383", "47478",
/* 676 */"56644", "33354", "31414", "17643", "92374",
"85085", "88458", "87191", "85248", "34963",
/* 677 */"76278", "53230", "13953", "76985", "70959",
"36663", "05293", "32658", "56767", "56997",
/* 678 */"76736", "06558", "64248", "11907", "29123",
"78458", "17678", "63805", "89973", "05076",
/* 679 */"39263", "54404", "04355", "64957", "74407",
"99838", "18836", "78098", "06490", "74888",
/* 680 */"73719", "80675", "86178", "56283", "33591",
"96957", "38382", "18772", "74773", "71229",
/* 681 */"02603", "52673", "44609", "14843", "58418",
"18060", "95459", "00626", "30914", "13550",
/* 682 */"42195", "44863", "08871", "89182", "64446",
"78422", "41140", "15312", "98274", "48168",
/* 683 */"95651", "35562", "85386", "56252", "72136",
"85088", "68761", "78434", "98143", "61330",
/* 684 */"02446", "64409", "49406", "99127", "98626",
"55095", "44808", "13594", "87370", "89472",
/* 685 */"12833", "98932", "68064", "58193", "20225",
"05192", "28425", "23978", "24542", "80845",
/* 686 */"55858", "04015", "21454", "37346", "51007",
"17202", "10242", "12682", "55933", "96922",
/* 687 */"22280", "75597", "50227", "70712", "44236",
"20470", "36320", "49339", "60536", "80083",
/* 688 */"38880", "93327", "49522", "93585", "09918",
"55268", "04671", "57526", "11457", "48424",
/* 689 */"54610", "07211", "78610", "09473", "72923",
"27347", "30057", "76968", "26177", "59367",
/* 690 */"46172", "88951", "40229", "34921", "60405",
"88959", "16779", "29547", "92231", "61997",
/* 691 */"36002", "21080", "39795", "77221", "10012",
"49748", "76900", "15964", "03803", "40260",
/* 692 */"92351", "92844", "10288", "57483", "10881",
"70408", "75688", "16610", "01638", "93082",
/* 693 */"44282", "66849", "75702", "69428", "34047",
"84968", "71281", "72328", "73143", "88672",
/* 694 */"49802", "50639", "18129", "93659", "58389",
"49095", "45971", "34196", "84609", "59222",
/* 695 */"19332", "17777", "41004", "47057", "30688",
"16039", "20906", "41477", "42915", "60877",
/* 696 */"33864", "75195", "62294", "03371", "11672",
"01370", "02486", "35553", "17907", "90621",
/* 697 */"45136", "09722", "67635", "12114", "63055",
"16004", "21625", "24321", "20491", "26881",
/* 698 */"66259", "94287", "54751", "36242", "36557",
"05842", "30687", "65418", "94608", "24741",
/* 699 */"45887", "78800", "86912", "42076", "50287",
"09284", "68891", "76368", "83094", "96302",
/* 700 */"35997", "30761", "97081", "09501", "68887",
"32876", "01705", "34260", "95065", "45528",
/* 701 */"88241", "30402", "12318", "52430", "40139",
"96986", "84900", "72408", "42027", "31676",
/* 702 */"54382", "73370", "26184", "14024", "57444",
"57660", "52173", "30274", "93448", "63273",
/* 703 */"77681", "74946", "02099", "69091", "19372",
"66961", "14595", "58642", "75760", "52253",
/* 704 */"53148", "26074", "52293", "65359", "63971",
"04833", "86492", "01227", "54505", "19515",
/* 705 */"89889", "46933", "13364", "33883", "83389",
"36952", "52505", "67513", "40071", "31001",
/* 706 */"03105", "87912", "29610", "75108", "37363",
"28479", "43546", "89992", "19550", "54863",
/* 707 */"82633", "19209", "21548", "35022", "21960",
"57961", "11815", "95867", "00559", "26428",
/* 708 */"69386", "57453", "70147", "73538", "49562",
"46806", "64550", "36653", "25718", "68792",
/* 709 */"31113", "07607", "48037", "71020", "22666",
"65957", "11141", "39227", "07990", "19849",
/* 710 */"65972", "74528", "40888", "55386", "95918",
"92088", "91125", "53648", "66122", "00138",
/* 711 */"79933", "71058", "34826", "97725", "69513",
"22915", "18246", "52244", "91161", "40861",
/* 712 */"40374", "13239", "56162", "04703", "95851",
"22824", "41271", "28202", "62852", "84238",
/* 713 */"46625", "20031", "08524", "20077", "65817",
"21174", "29279", "57712", "22401", "67500",
/* 714 */"30980", "74485", "26480", "21343", "30031",
"61921", "35744", "57308", "71196", "01865",
/* 715 */"49234", "62616", "54021", "29008", "83672",
"85839", "96836", "45077", "80900", "66906",
/* 716 */"63526", "93824", "71820", "11033", "20183",
"85704", "04683", "63512", "39144", "56880",
/* 717 */"64424", "95979", "17709", "94849", "31771",
"05737", "84286", "16757", "46256", "24478",
/* 718 */"73180", "59978", "08254", "78963", "95437",
"86351", "33824", "32540", "18357", "02668",
/* 719 */"99260", "21284", "81351", "70961", "10255",
"06911", "47394", "72408", "23827", "59865",
/* 720 */"96395", "30665", "43699", "03593", "29165",
"23388", "26628", "92402", "16731", "86740",
/* 721 */"29493", "09069", "78653", "90094", "42735",
"33682", "95041", "89887", "92369", "57949",
/* 722 */"81585", "50593", "14698", "04737", "72551",
"57271", "59433", "00156", "33966", "58773",
/* 723 */"59108", "49578", "18100", "59836", "73221",
"21110", "01650", "11058", "47770", "66141",
/* 724 */"84576", "58388", "40915", "94507", "32209",
"17272", "65674", "95552", "25685", "05345",
/* 725 */"36995", "36302", "07971", "67001", "62062",
"75939", "36005", "26739", "56484", "46885",
/* 726 */"66348", "87666", "78055", "44485", "82955",
"85936", "09219", "01847", "92687", "72579",
/* 727 */"45457", "78252", "98239", "40000", "75563",
"92408", "17175", "78845", "32638", "26959",
/* 728 */"35406", "59553", "57852", "07506", "00009",
"93172", "77713", "93880", "40981", "27924",
/* 729 */"09678", "24538", "52426", "84852", "83781",
"23712", "82490", "77890", "22482", "66668",
/* 730 */"55850", "25644", "44972", "62275", "78089",
"28894", "98685", "32998", "98766", "89119",
/* 731 */"34355", "75127", "69797", "71419", "62067",
"57990", "96514", "50603", "79807", "26135",
/* 732 */"29207", "43632", "32905", "38513", "18924",
"88872", "20758", "70232", "60425", "01116",
/* 733 */"24077", "21369", "93541", "75329", "78656",
"44251", "42014", "98154", "42552", "14575",
/* 734 */"30765", "00348", "01134", "71581", "68420",
"78141", "21105", "63305", "09718", "54851",
/* 735 */"65867", "08595", "47390", "39182", "51174",
"41478", "64433", "59628", "31945", "87322",
/* 736 */"78667", "95282", "05622", "26224", "19972",
"97269", "98376", "14779", "51138", "49658",
/* 737 */"45345", "04972", "52794", "15737", "00496",
"48939", "63485", "42780", "16061", "59631",
/* 738 */"37171", "13483", "56058", "51093", "62290",
"88227", "17400", "88433", "67363", "89507",
/* 739 */"26482", "85964", "71336", "67799", "28342",
"37747", "61722", "27180", "78755", "18603",
/* 740 */"42953", "06606", "23875", "56766", "01932",
"36113", "62807", "84012", "21103", "09685",
/* 741 */"69662", "76755", "13701", "95168", "13169",
"44726", "15284", "16702", "89617", "54397",
/* 742 */"52052", "12835", "37741", "86434", "22400",
"37947", "95763", "86337", "35189", "22756",
/* 743 */"47473", "16618", "42479", "47405", "14055",
"64262", "66670", "89692", "54032", "94591",
/* 744 */"44149", "29854", "76691", "33263", "62048",
"25116", "88598", "16119", "62116", "54517",
/* 745 */"31883", "86707", "18895", "81790", "71294",
"02684", "15292", "48107", "14341", "91416",
/* 746 */"75609", "92564", "39987", "02283", "89970",
"95855", "80970", "05432", "89860", "90293",
/* 747 */"99851", "94648", "05598", "32171", "28793",
"92305", "64244", "08277", "93391", "96717",
/* 748 */"34464", "29838", "10664", "28050", "60122",
"77934", "10758", "84922", "92220", "45071",
/* 749 */"97697", "36368", "17792", "84792", "76594",
"67319", "51886", "05665", "45201", "11348",
/* 750 */"09254", "07510", "51039", "91683", "84500",
"85338", "05555", "19633", "03870", "39576",
/* 751 */"41486", "58524", "54508", "20707", "58504",
"39642", "22454", "80069", "83455", "31043",
/* 752 */"90794", "51934", "03295", "26582", "16300",
"74990", "22197", "83310", "69642", "81113",
/* 753 */"58558", "84833", "17105", "46659", "25003",
"85749", "44829", "04103", "67516", "76458",
/* 754 */"52392", "53546", "70291", "98846", "67315",
"30686", "18555", "29755", "05923", "22732",
/* 755 */"19501", "56181", "85351", "05023", "04808",
"56911", "16793", "75336", "49712", "27723",
/* 756 */"96974", "34321", "05454", "12862", "71924",
"45928", "95697", "68664", "58183", "78104",
/* 757 */"42483", "71204", "99628", "40642", "56410",
"17350", "13396", "76724", "87509", "09158",
/* 758 */"83708", "27298", "92651", "95086", "38851",
"63558", "89810", "01580", "32518", "35795",
/* 759 */"26514", "56322", "78635", "63731", "91428",
"07247", "66460", "38671", "26799", "22549",
/* 760 */"47991", "46064", "80467", "40083", "17141",
"39152", "99872", "27561", "75389", "74778",
/* 761 */"94893", "82935", "99076", "93419", "10474",
"84436", "47536", "16719", "60136", "80566",
/* 762 */"28404", "74525", "74212", "03704", "65516",
"98197", "34210", "64140", "22238", "49939",
/* 763 */"99542", "27481", "21992", "78181", "90060",
"71365", "66935", "29578", "14961", "08569",
/* 764 */"09454", "43308", "66753", "45972", "93572",
"16382", "87320", "37183", "25478", "38164",
/* 765 */"31997", "69856", "60898", "63968", "62264",
"04799", "17591", "89937", "73905", "55890",
/* 766 */"88285", "02448", "40398", "54180", "65869",
"45155", "43407", "39105", "00339", "51619",
/* 767 */"20203", "21189", "68245", "76912", "01222",
"76411", "82679", "00007", "66047", "32043",
/* 768 */"42627", "16638", "27019", "15248", "66444",
"08249", "18790", "82150", "54084", "84469",
/* 769 */"03426", "50226", "99868", "88894", "43769",
"66384", "08593", "41414", "02976", "60053",
/* 770 */"51866", "87904", "74135", "53842", "59520",
"67482", "16995", "32328", "29555", "49067",
/* 771 */"02799", "68851", "41049", "97190", "53984",
"99755", "46412", "45885", "64000", "21962",
/* 772 */"36438", "71742", "57223", "66599", "86071",
"31436", "32667", "98099", "38399", "47377",
/* 773 */"05171", "02742", "48803", "17823", "22093",
"09866", "00691", "05514", "25546", "02114",
/* 774 */"05919", "56181", "96052", "67211", "61712",
"25995", "03188", "23833", "38549", "44775",
/* 775 */"55355", "61548", "55988", "47309", "23749",
"30667", "70732", "33299", "16127", "30842",
/* 776 */"78961", "41072", "09876", "18903", "30292",
"25275", "61881", "15939", "72573", "84502",
/* 777 */"92654", "97226", "53434", "77025", "63892",
"12421", "33644", "39445", "30933", "84218",
/* 778 */"13757", "37719", "84450", "02697", "60309",
"22402", "80310", "92771", "45205", "72792",
/* 779 */"95776", "85945", "74651", "00216", "50842",
"47854", "21916", "61588", "75405", "10495",
/* 780 */"83083", "60427", "78495", "99809", "47890",
"22993", "21508", "09459", "26845", "98130",
/* 781 */"01184", "46438", "27698", "40652", "65654",
"98517", "01096", "06998", "49133", "57041",
/* 782 */"77983", "58708", "42176", "67356", "00324",
"70063", "10597", "65205", "25622", "34336",
/* 783 */"16640", "27896", "26907", "86760", "48244",
"89650", "44997", "51609", "28934", "09171",
/* 784 */"97859", "97213", "19859", "41037", "64081",
"94781", "27683", "41521", "52871", "86935",
/* 785 */"26486", "38744", "25943", "60617", "06414",
"42292", "46204", "53262", "30201", "38776",
/* 786 */"88831", "97253", "67282", "72860", "18452",
"60927", "81504", "57713", "30296", "10896",
/* 787 */"39900", "67135", "42772", "04631", "55283",
"39253", "25264", "01809", "12874", "88035",
/* 788 */"88421", "90491", "83290", "06884", "15444",
"90113", "20406", "20796", "40239", "34431",
/* 789 */"15018", "45600", "17241", "26611", "09551",
"89126", "65673", "31708", "91252", "39647",
/* 790 */"63011", "24193", "58932", "89326", "33491",
"53217", "27976", "70151", "37531", "53576",
/* 791 */"23931", "11789", "73073", "52171", "89301",
"51718", "15385", "79487", "66436", "35771",
/* 792 */"34163", "86540", "42665", "80748", "77622",
"14679", "40185", "25030", "42622", "13162",
/* 793 */"17048", "24243", "59985", "59807", "60562",
"03595", "10135", "29199", "69784", "59796",
/* 794 */"38194", "58432", "50943", "40422", "63035",
"03208", "81440", "90749", "88046", "32218",
/* 795 */"88092", "22224", "02627", "91576", "16781",
"43948", "57795", "71073", "27817", "87077",
/* 796 */"82717", "24473", "42096", "76920", "88864",
"90537", "14715", "42551", "45066", "24316",
/* 797 */"37361", "38582", "21871", "14672", "93362",
"21727", "57021", "94313", "39562", "64985",
/* 798 */"94028", "46094", "43845", "91838", "79574",
"07597", "03153", "56783", "18817", "74711",
/* 799 */"06883", "91061", "31674", "73729", "99315",
"66183", "57647", "74484", "68077", "33224",
/* 800 */"00397", "56753", "53158", "71872", "68153",
"09298", "20961", "49656", "33407", "95683",
/* 801 */"14328", "44708", "72952", "27048", "67887",
"28741", "46752", "88177", "95894", "40086",
/* 802 */"88534", "87112", "68614", "83073", "88794",
"96799", "67588", "75049", "84603", "83140",
/* 803 */"97347", "87316", "73087", "77135", "71883",
"98643", "03808", "08848", "14133", "60447",
/* 804 */"01366", "72976", "01868", "51667", "63279",
"60040", "88264", "79152", "03474", "61366",
/* 805 */"20523", "21584", "93712", "83654", "89761",
"90154", "96345", "37539", "32556", "74254",
/* 806 */"70603", "97122", "44978", "78028", "08943",
"13778", "11080", "34271", "68276", "85372",
/* 807 */"48410", "94516", "15427", "75323", "71685",
"70774", "50342", "33771", "03678", "42321",
/* 808 */"69788", "41758", "55004", "30992", "17402",
"63523", "42328", "87171", "24751", "15084",
/* 809 */"33884", "83655", "88345", "69602", "52606",
"57886", "18034", "03381", "75796", "35901",
/* 810 */"77480", "28683", "68324", "66035", "07223",
"14926", "16128", "13645", "90370", "31949",
/* 811 */"11057", "98849", "29499", "21565", "30786",
"83292", "92392", "37104", "36899", "49906",
/* 812 */"79368", "43710", "80365", "88735", "75275",
"21664", "57965", "19002", "00301", "12658",
/* 813 */"94385", "01717", "96191", "50404", "80166",
"93965", "24688", "27839", "10812", "31715",
/* 814 */"92127", "42588", "93307", "80834", "11317",
"26583", "25769", "98227", "14884", "58462",
/* 815 */"29148", "68662", "26872", "72927", "79021",
"51622", "29521", "33355", "45701", "45996",
/* 816 */"33782", "93424", "16530", "96086", "17329",
"74020", "11501", "46660", "05583", "22277",
/* 817 */"77653", "55430", "84644", "00448", "86828",
"58855", "67451", "95264", "67386", "82424",
/* 818 */"52611", "60012", "88620", "72894", "94716",
"22262", "99813", "69592", "63464", "33163",
/* 819 */"91857", "47904", "22209", "78590", "68615",
"52952", "31441", "41313", "18550", "72685",
/* 820 */"68825", "04795", "53971", "14592", "39634",
"23682", "76630", "02731", "81481", "86542",
/* 821 */"23727", "54291", "56045", "61635", "32186",
"09355", "73416", "63532", "24340", "18886",
/* 822 */"84832", "30654", "48543", "18339", "65024",
"91197", "64624", "74648", "09660", "27897",
/* 823 */"49771", "11123", "08732", "49393", "12911",
"72416", "17834", "18878", "62754", "85072",
/* 824 */"23727", "56577", "51257", "83291", "12329",
"16203", "91681", "68137", "79959", "43609",
/* 825 */"58987", "02026", "42969", "59144", "84349",
"75214", "76972", "22633", "64104", "53799",
/* 826 */"16851", "99197", "70476", "77113", "46320",
"88693", "37711", "96536", "68156", "07119",
/* 827 */"02104", "49435", "77706", "18924", "24957",
"92406", "87148", "70482", "36491", "42605",
/* 828 */"54440", "07893", "31618", "35707", "65130",
"30007", "75706", "77266", "37100", "09601",
/* 829 */"87681", "42543", "69847", "81848", "32034",
"49429", "99434", "62209", "17125", "55227",
/* 830 */"61634", "52574", "83649", "28725", "70119",
"62467", "80676", "21192", "99584", "21310",
/* 831 */"25292", "72781", "17186", "10393", "98390",
"19789", "92931", "36234", "62627", "23437",
/* 832 */"03885", "58822", "82941", "43806", "08172",
"23790", "72295", "36196", "98200", "02889",
/* 833 */"87619", "13846", "56197", "27151", "21238",
"48794", "81100", "62643", "40001", "39243",
/* 834 */"33213", "78416", "00194", "91369", "79342",
"36404", "52308", "13741", "24442", "88610",
/* 835 */"12659", "11574", "70052", "93039", "79367",
"41792", "61816", "35435", "47192", "97596",
/* 836 */"28330", "41145", "16918", "62865", "09576",
"45857", "68737", "90124", "16703", "07071",
/* 837 */"48433", "57222", "34435", "00800", "72496",
"16449", "68187", "28739", "97672", "86818",
/* 838 */"50768", "40807", "88681", "64340", "02224",
"19703", "59245", "90905", "31239", "84216",
/* 839 */"93942", "97371", "16842", "92168", "52692",
"16064", "84686", "89444", "27938", "98406",
/* 840 */"41365", "04515", "20494", "18813", "16242",
"10634", "61566", "18592", "78057", "08720",
/* 841 */"33739", "78345", "87693", "30242", "70545",
"55521", "23687", "09160", "08655", "38811",
/* 842 */"61768", "07228", "05567", "05561", "82071",
"00085", "50145", "23113", "97761", "88441",
/* 843 */"14891", "72188", "85166", "37189", "75671",
"81377", "92470", "73645", "93258", "06610",
/* 844 */"12185", "43065", "26704", "47922", "56650",
"07527", "18006", "56948", "51675", "16658",
/* 845 */"66402", "01047", "81624", "77395", "62310",
"73262", "66050", "57275", "32936", "87641",
/* 846 */"51528", "58183", "21952", "84098", "28913",
"28622", "18140", "89796", "41317", "93954",
/* 847 */"67690", "64667", "57092", "21315", "04731",
"76115", "77291", "11204", "08634", "93034",
/* 848 */"27411", "27149", "13843", "09817", "09407",
"84492", "28444", "59901", "14592", "89654",
/* 849 */"66207", "66232", "80293", "74502", "36925",
"55515", "10121", "16768", "04720", "71502",
/* 850 */"40500", "21406", "00571", "87320", "81683",
"42788", "86367", "44686", "22159", "67015",
/* 851 */"35892", "49668", "83991", "72088", "30210",
"74009", "86370", "97956", "02132", "93512",
/* 852 */"54819", "26094", "51409", "21485", "94764",
"85806", "13393", "48543", "07042", "76538",
/* 853 */"64224", "47909", "09994", "23750", "17351",
"52141", "30486", "60380", "86546", "66606",
/* 854 */"36913", "58173", "45709", "83679", "82617",
"23381", "09603", "61107", "00566", "06572",
/* 855 */"64745", "10614", "86371", "43244", "97154",
"10397", "50975", "68006", "20045", "16942",
/* 856 */"25536", "74031", "31807", "70133", "78790",
"40341", "68730", "39635", "39013", "66841",
/* 857 */"44043", "96215", "21270", "59427", "25034",
"40645", "84741", "52083", "54503", "36861",
/* 858 */"27659", "95463", "53847", "40921", "70116",
"61536", "56756", "08967", "31079", "20097",
/* 859 */"76014", "99818", "16606", "19713", "66904",
"27106", "24874", "96701", "73287", "76772",
/* 860 */"06073", "57343", "51428", "91171", "28299",
"17520", "64903", "04177", "36071", "94952",
/* 861 */"59008", "28543", "11576", "74547", "13260",
"20688", "41261", "02780", "06633", "37536",
/* 862 */"08844", "95774", "49323", "30448", "14154",
"83379", "71259", "23302", "68402", "43750",
/* 863 */"88505", "15575", "44927", "06584", "29867",
"21541", "65763", "12154", "86616", "79877",
/* 864 */"73259", "68626", "98962", "68548", "86576",
"48046", "51755", "64995", "03661", "64585",
/* 865 */"81550", "46798", "49319", "50206", "22024",
"05175", "12923", "23427", "55915", "91723",
/* 866 */"55831", "83784", "81034", "86779", "34622",
"84570", "18960", "48798", "42970", "95789",
/* 867 */"39465", "82353", "68905", "44234", "18244",
"54345", "05592", "89361", "14644", "67924",
/* 868 */"66415", "89349", "88530", "72096", "44459",
"05258", "48317", "48866", "56886", "90458",
/* 869 */"75889", "04514", "37227", "11302", "04667",
"02129", "80414", "86289", "15887", "87380",
/* 870 */"50749", "83220", "50529", "20619", "11606",
"36531", "23409", "78122", "19566", "76564",
/* 871 */"33045", "66703", "30017", "35347", "35038",
"12952", "13971", "03922", "98702", "11786",
/* 872 */"38388", "69556", "76728", "60535", "59961",
"23634", "42211", "98387", "34880", "27755",
/* 873 */"93182", "99040", "96390", "65989", "38375",
"03652", "59657", "57431", "24666", "11061",
/* 874 */"64713", "85185", "72849", "58611", "31220",
"26657", "77056", "24553", "24993", "05210",
/* 875 */"89024", "32054", "46997", "92652", "28363",
"98992", "22593", "97710", "47766", "37646",
/* 876 */"93573", "95502", "33790", "92973", "27766",
"62671", "89698", "10877", "73893", "41004",
/* 877 */"96035", "18795", "48080", "59666", "30241",
"35233", "87353", "43647", "13404", "41982",
/* 878 */"19264", "29229", "61369", "08309", "39383",
"42305", "25944", "13577", "51545", "68990",
/* 879 */"69801", "37145", "79189", "55897", "57793",
"66816", "21930", "56771", "79296", "73793",
/* 880 */"21632", "42301", "23696", "72641", "56310",
"85576", "03004", "25669", "69221", "32996",
/* 881 */"23040", "65782", "23712", "13414", "10758",
"15590", "97298", "74246", "51511", "46900",
/* 882 */"36795", "38292", "03852", "06384", "84421",
"03446", "91670", "45312", "27609", "87034",
/* 883 */"06683", "83891", "88991", "16533", "09197",
"34427", "60384", "48525", "90978", "46107",
/* 884 */"21693", "12956", "21804", "46558", "37682",
"81207", "85840", "53238", "35026", "04835",
/* 885 */"53264", "41376", "17783", "64756", "39278",
"25403", "33042", "20954", "31193", "24247",
/* 886 */"45911", "92453", "25370", "86602", "48574",
"57865", "26436", "16122", "76614", "17028",
/* 887 */"21262", "59718", "77821", "14036", "31033",
"90563", "45410", "15158", "90209", "84089",
/* 888 */"38053", "60780", "54166", "14255", "33120",
"27171", "71798", "91214", "80040", "56699",
/* 889 */"12475", "40193", "59415", "04769", "75920",
"01036", "02692", "75862", "16612", "73670",
/* 890 */"61182", "03305", "90334", "00187", "91659",
"28063", "75684", "50017", "82643", "09282",
/* 891 */"77376", "85469", "08164", "05584", "36623",
"82597", "83859", "03435", "98460", "70095",
/* 892 */"80257", "04381", "06501", "08924", "35514",
"14297", "54373", "71369", "05172", "15955",
/* 893 */"82441", "04636", "48215", "06821", "03385",
"17663", "40107", "55679", "30366", "42390",
/* 894 */"95895", "16083", "58499", "17176", "55993",
"51034", "49296", "04010", "78974", "35930",
/* 895 */"02019", "96226", "27167", "68245", "53109",
"59037", "37843", "79243", "10262", "58797",
/* 896 */"61490", "82590", "52411", "54783", "29447",
"94551", "30026", "97959", "93939", "73217",
/* 897 */"82573", "62154", "78291", "33728", "39102",
"11484", "86210", "43794", "73553", "87435",
/* 898 */"01110", "77108", "56521", "78610", "08254",
"01842", "43068", "70415", "79195", "26136",
/* 899 */"49786", "47279", "38471", "20379", "54704",
"86614", "91138", "51595", "50818", "80186",
/* 900 */"73087", "17262", "94735", "04952", "27935",
"04928", "74862", "51392", "62388", "09570",
/* 901 */"38485", "30594", "56278", "47395", "72762",
"94597", "72279", "16010", "34697", "54475",
/* 902 */"67874", "78014", "88381", "04045", "41494",
"55178", "46054", "24373", "01824", "55333",
/* 903 */"07525", "97908", "61178", "84635", "02199",
"35361", "04803", "21907", "79414", "66083",
/* 904 */"54782", "58692", "28332", "41851", "28198",
"55819", "37313", "67046", "16147", "90478",
/* 905 */"71230", "34141", "85002", "44332", "35906",
"00429", "39744", "00773", "22909", "19536",
/* 906 */"98986", "90945", "45209", "85439", "92265",
"25291", "22775", "60611", "49159", "95701",
/* 907 */"36113", "53923", "60824", "84935", "29656",
"50007", "86624", "61691", "76150", "32187",
/* 908 */"42765", "60660", "13859", "10792", "88210",
"29374", "29563", "45188", "28811", "19739",
/* 909 */"67649", "73775", "99247", "48414", "91067",
"68253", "09452", "90116", "91737", "73979",
/* 910 */"62370", "69112", "58791", "20349", "71480",
"56852", "36919", "87977", "77609", "68738",
/* 911 */"85159", "04918", "70076", "46473", "04122",
"57713", "01426", "50987", "77910", "66211",
/* 912 */"62546", "77749", "96462", "34304", "77441",
"12104", "91805", "10287", "60943", "49632",
/* 913 */"83116", "25716", "23113", "22707", "77770",
"31176", "06759", "46130", "04739", "55554",
/* 914 */"03843", "31653", "70834", "72877", "41561",
"36903", "23010", "06663", "02266", "16360",
/* 915 */"70118", "91936", "17098", "77278", "04880",
"23484", "94970", "41826", "46733", "93484",
/* 916 */"68350", "38861", "18134", "32936", "00241",
"24803", "13876", "93278", "05039", "35873",
/* 917 */"44418", "05305", "28510", "36115", "46717",
"15238", "78607", "23464", "68635", "55712",
/* 918 */"55007", "92411", "65739", "04858", "67537",
"37041", "67453", "89801", "45963", "14800",
/* 919 */"14225", "65655", "80463", "09716", "77255",
"65136", "11230", "76323", "81433", "36445",
/* 920 */"86523", "61058", "59560", "19380", "40791",
"48073", "29626", "36661", "87907", "57369",
/* 921 */"41623", "13705", "03880", "45088", "55444",
"41003", "27754", "01450", "75312", "71801",
/* 922 */"99600", "60719", "54182", "29245", "63315",
"73758", "42973", "32702", "10855", "56363",
/* 923 */"14638", "84424", "27178", "78195", "03133",
"70865", "48019", "26117", "07151", "52107",
/* 924 */"85562", "41347", "50486", "69457", "86961",
"95482", "11857", "93587", "45680", "42145",
/* 925 */"13029", "10043", "05142", "49213", "54525",
"85761", "42707", "70754", "33768", "87671",
/* 926 */"85038", "58900", "88438", "20004", "63390",
"14815", "38875", "73417", "82875", "89481",
/* 927 */"55517", "00944", "15773", "61814", "32915",
"27868", "05510", "21916", "28426", "89881",
/* 928 */"16680", "88850", "11056", "51991", "04230",
"39107", "49216", "40065", "04523", "75848",
/* 929 */"95349", "56034", "10724", "09885", "88232",
"42478", "65702", "95696", "39746", "66032",
/* 930 */"88082", "86905", "30007", "75068", "66629",
"07358", "26706", "90511", "72843", "67857",
/* 931 */"20061", "98581", "69682", "38000", "14186",
"00070", "02290", "17269", "30909", "69449",
/* 932 */"19997", "13275", "02444", "84985", "51290",
"97641", "15092", "69650", "21920", "19617",
/* 933 */"07418", "49725", "91090", "20805", "28627",
"80665", "67192", "34697", "57667", "99323",
/* 934 */"50101", "40587", "35081", "14037", "34414",
"19898", "60779", "83267", "87499", "29596",
/* 935 */"41852", "15813", "32419", "72232", "08322",
"39184", "46525", "13833", "65743", "94595",
/* 936 */"37363", "04711", "35386", "96413", "10627",
"62625", "56555", "12919", "93218", "25191",
/* 937 */"98380", "51923", "66181", "05788", "73491",
"01452", "00487", "12277", "45415", "11884",
/* 938 */"61300", "94528", "09181", "26616", "11455",
"31514", "63290", "45035", "42759", "33804",
/* 939 */"85721", "80979", "46010", "50975", "72482",
"31231", "03086", "58941", "46102", "25773",
/* 940 */"89742", "29788", "96741", "88523", "14922",
"88262", "76305", "57676", "93259", "02396",
/* 941 */"69145", "26074", "30056", "03853", "75317",
"56639", "66203", "38923", "48939", "22813",
/* 942 */"91864", "10934", "06714", "84099", "25631",
"73223", "95630", "97552", "45950", "22197",
/* 943 */"42886", "33764", "01263", "41856", "82057",
"62349", "94091", "78028", "62651", "18911",
/* 944 */"05693", "92561", "97821", "41994", "92343",
"76785", "22216", "04203", "05038", "86151",
/* 945 */"23596", "24338", "77181", "51761", "97693",
"10955", "98159", "37568", "58932", "72128",
/* 946 */"27303", "99608", "31688", "57557", "91022",
"43036", "93927", "32869", "53653", "55205",
/* 947 */"33139", "47271", "31224", "51650", "36422",
"86857", "73799", "22068", "43376", "84760",
/* 948 */"44898", "65776", "42451", "71480", "38509",
"41673", "44141", "75918", "95652", "68981",
/* 949 */"83001", "48815", "98086", "67950", "27986",
"33175", "43624", "55274", "71051", "61124",
/* 950 */"51550", "64967", "31570", "15748", "19159",
"38174", "51078", "79811", "39183", "57527",
/* 951 */"96550", "85168", "28824", "47466", "56993",
"13151", "96664", "29735", "70251", "01079",
/* 952 */"04314", "77714", "11507", "01440", "48415",
"31984", "99915", "20282", "26524", "18057",
/* 953 */"04992", "40521", "98108", "84045", "91961",
"79256", "72244", "25788", "05487", "23595",
/* 954 */"73302", "14205", "08925", "27625", "64343",
"28821", "37992", "67156", "83320", "31106",
/* 955 */"10884", "30735", "15067", "51091", "15668",
"48777", "50770", "19169", "76504", "41165",
/* 956 */"29749", "92812", "08065", "66782", "26841",
"01411", "95461", "61134", "18699", "52261",
/* 957 */"60469", "81373", "44825", "11448", "73320",
"30151", "56991", "31372", "06655", "36472",
/* 958 */"86292", "30247", "30931", "21029", "53410",
"09859", "37267", "47514", "03492", "49008",
/* 959 */"94727", "25234", "40546", "53417", "36492",
"25723", "76227", "58456", "15979", "34876",
/* 960 */"09574", "34392", "03751", "36933", "83921",
"65108", "63135", "67572", "40184", "21098",
/* 961 */"95810", "64584", "90761", "25619", "57242",
"76482", "96499", "37315", "81969", "03466",
/* 962 */"78142", "37846", "90412", "82889", "06600",
"98255", "09561", "94876", "49408", "26942",
/* 963 */"73496", "03542", "22227", "96491", "25875",
"01152", "80705", "02580", "48462", "19399",
/* 964 */"92623", "53975", "07021", "84038", "27823",
"47118", "36598", "97426", "02751", "35051",
/* 965 */"34437", "40331", "12956", "89221", "33818",
"05023", "24518", "71534", "67037", "20882",
/* 966 */"13175", "46800", "69024", "26844", "32030",
"44324", "44759", "67653", "79967", "37005",
/* 967 */"04593", "99638", "21705", "43196", "78141",
"98290", "07661", "56842", "05103", "46286",
/* 968 */"15771", "81941", "46902", "08846", "19698",
"20141", "19235", "56149", "18613", "71430",
/* 969 */"88235", "40413", "22041", "82638", "31923",
"87851", "60190", "98420", "83623", "22256",
/* 970 */"40261", "54379", "31583", "90636", "08532",
"19701", "27314", "96290", "18183", "97675",
/* 971 */"91974", "61993", "08387", "96734", "96106",
"86097", "38743", "64755", "16096", "55722",
/* 972 */"60583", "83480", "44646", "69643", "35873",
"32147", "66468", "27892", "70063", "65537",
/* 973 */"81905", "37983", "51534", "56074", "68758",
"85313", "96167", "56636", "60887", "60487",
/* 974 */"93196", "75130", "30288", "16102", "58743",
"27249", "30144", "10204", "46755", "75861",
/* 975 */"49480", "86917", "13733", "01726", "38070",
"68028", "84835", "98513", "38751", "88801",
/* 976 */"48661", "73128", "68236", "85198", "20306",
"35789", "60564", "52648", "29939", "48412",
/* 977 */"06949", "74058", "73754", "07886", "50418",
"89923", "03556", "30213", "87480", "79956",
/* 978 */"76227", "40741", "09925", "64011", "96655",
"74633", "80518", "10995", "68193", "41510",
/* 979 */"34443", "81242", "81385", "24755", "52942",
"01798", "47956", "19667", "44258", "17309",
/* 980 */"29079", "35216", "35551", "08988", "73127",
"51276", "18496", "29077", "28724", "91389",
/* 981 */"87734", "26492", "21382", "65609", "00637",
"54091", "37478", "69470", "02668", "62034",
/* 982 */"64879", "46395", "92454", "05241", "98155",
"65899", "25066", "66441", "20567", "77272",
/* 983 */"13318", "51221", "79310", "28474", "53768",
"05223", "47840", "39115", "79715", "93025",
/* 984 */"78295", "97348", "48492", "76936", "43858",
"12843", "01308", "72080", "40935", "43485",
/* 985 */"21196", "02168", "74073", "51797", "41075",
"02065", "48170", "51571", "06868", "23706",
/* 986 */"23624", "10314", "44840", "79228", "24659",
"54802", "77427", "18487", "17570", "86352",
/* 987 */"24251", "94281", "35837", "57576", "65164",
"35511", "54848", "73895", "70038", "74998",
/* 988 */"84901", "12789", "57167", "71992", "36827",
"03897", "77676", "15448", "74468", "12892",
/* 989 */"68198", "44962", "76132", "20399", "33175",
"98806", "46481", "62064", "18392", "20337",
/* 990 */"73794", "35069", "66460", "92803", "49708",
"45822", "11274", "99466", "63925", "97053",
/* 991 */"99029", "31669", "35895", "67444", "98389",
"12308", "76829", "29653", "42936", "55884",
/* 992 */"48922", "73463", "27695", "89902", "65008",
"31317", "96426", "87228", "00946", "88913",
/* 993 */"08122", "18694", "44926", "74638", "22151",
"90254", "42442", "69594", "94101", "01665",
/* 994 */"04533", "08658", "23490", "08019", "98348",
"98753", "29791", "43662", "64079", "71172",
/* 995 */"21022", "29925", "38565", "76242", "36785",
"90287", "89078", "35300", "53590", "52922",
/* 996 */"19441", "33137", "70814", "91340", "36828",
"88665", "97012", "48621", "92302", "78150",
/* 997 */"59217", "01488", "67561", "52498", "51520",
"79799", "63514", "67776", "88019", "94351",
/* 998 */"17365", "63561", "54864", "77101", "77629",
"19429", "20227", "79902", "68902", "10967",
/* 999 */"58833", "62286", "06818", "21687", "92806",
"40254", "84022", "72645", "30686", "26409",
/* 1000 */"49487", "52802", "28667", "62058", "87822",
"14704", "18519", "17889", "45869", "14454",
/* 1001 */"29480", "91539", "46317", "84803", "86056",
"62812", "33584", "70391", "77749", "64906",
/* 1002 */"25252", "97738", "23901", "11106", "86864",
"55808", "22557", "23214", "15021", "54268",
/* 1003 */"02431", "42193", "96960", "19620", "29188",
"05863", "92900", "06836", "13433", "21709",
/* 1004 */"69414", "89353", "70724", "67893", "23218",
"72452", "03095", "68333", "13751", "37260",
/* 1005 */"77285", "35179", "92042", "67581", "67673",
"68374", "71115", "98166", "43352", "06414",
/* 1006 */"52852", "11444", "71868", "34534", "69124",
"02760", "06406", "95234", "87995", "78560",
/* 1007 */"98740", "98054", "30195", "09891", "18453",
"79464", "01156", "95522", "06884", "55073",
/* 1008 */"85022", "58736", "12138", "35146", "62085",
"36170", "25433", "80787", "96496", "40579",
/* 1009 */"17778", "03840", "21636", "56269", "08149",
"19001", "67367", "13138", "02400", "89515",
/* 1010 */"81833", "93449", "57781", "94621", "90998",
"37561", "59688", "93299", "27726", "82167",
/* 1011 */"63789", "54958", "33167", "10909", "40343",
"81023", "61590", "44474", "39810", "10305",
/* 1012 */"61840", "81740", "60986", "12498", "71546",
"42249", "13812", "59902", "27864", "21809",
/* 1013 */"42243", "10153", "20891", "90883", "15782",
"98167", "86837", "99166", "92143", "82441",
/* 1014 */"45236", "09129", "53031", "12260", "01278",
"14404", "40969", "33419", "14188", "69557",
/* 1015 */"40338", "42477", "78804", "36272", "72053",
"07958", "67158", "60979", "79891", "92409",
/* 1016 */"54040", "71253", "88789", "98203", "54999",
"96564", "00789", "68879", "47134", "83941",
/* 1017 */"49158", "20908", "44859", "29089", "76130",
"51442", "34453", "98590", "37353", "61137",
/* 1018 */"80958", "03808", "83655", "18415", "96563",
"43582", "82207", "53322", "30419", "64435",
/* 1019 */"07636", "04876", "61063", "57571", "69434",
"14965", "20911", "73162", "33576", "52839",
/* 1020 */"37227", "80750", "08261", "97048", "60438",
"75053", "05939", "34414", "16685", "32103",
/* 1021 */"99460", "45915", "45637", "41353", "35335",
"69087", "57536", "68418", "10247", "93253",
/* 1022 */"60248", "75845", "37296", "33783", "42393",
"28185", "31880", "00241", "31642", "37526",
/* 1023 */"95076", "79089", "87380", "28982", "97750",
"82221", "35584", "27444", "85793", "69755",
/* 1024 */"20944", "97852", "26586", "32796", "51513",
"47475", "48621", "20067", "88975", "39506",
/* 1025 */"30458", "49207", "62358", "41532", "30057",
"53017", "10375", "97204", "98675", "77634",
/* 1026 */"38905", "91282", "79309", "49022", "17405",
"18830", "09186", "07629", "01785", "78317",
/* 1027 */"96545", "15638", "90114", "93730", "13741",
"70177", "49175", "42113", "21600", "69625",
/* 1028 */"21944", "28328", "00692", "89164", "96025",
"01383", "50252", "67044", "70596", "58266",
/* 1029 */"36910", "71928", "63327", "00980", "32154",
"46006", "62289", "28079", "03076", "15619",
/* 1030 */"48745", "47626", "28856", "28382", "60639",
"51370", "70091", "58261", "70135", "88259",
/* 1031 */"32519", "91993", "59374", "83994", "59873",
"51217", "62806", "20028", "26545", "16820",
/* 1032 */"75757", "12965", "29285", "11481", "31744",
"41754", "24428", "81819", "02354", "37895",
/* 1033 */"07911", "97756", "89561", "27464", "25133",
"50026", "16436", "75846", "83718", "08533",
/* 1034 */"89887", "03328", "76911", "93168", "56236",
"39056", "67905", "94933", "05456", "52347",
/* 1035 */"30543", "99488", "75363", "94187", "32885",
"23887", "10872", "22793", "26232", "87356",
/* 1036 */"68442", "55201", "33946", "42495", "28384",
"89889", "50278", "91985", "58185", "19124",
/* 1037 */"22403", "56698", "88524", "13692", "55012",
"25343", "76391", "48029", "72278", "58586",
/* 1038 */"70701", "36907", "51242", "52083", "43126",
"90379", "60380", "98513", "85596", "16528",
/* 1039 */"69804", "96122", "42342", "28467", "79037",
"13218", "63510", "09071", "52438", "25840",
/* 1040 */"65806", "22398", "19470", "63653", "27055",
"02606", "43347", "65384", "02613", "81668",
/* 1041 */"43902", "53070", "54319", "19347", "59506",
"75440", "90826", "53652", "92382", "67623",
/* 1042 */"49145", "71587", "14273", "62440", "15770",
"03281", "58124", "09533", "43722", "03856",
/* 1043 */"47363", "36295", "62126", "42358", "20322",
"82000", "52830", "93540", "13284", "96496",
/* 1044 */"26244", "87033", "90247", "79131", "38773",
"67687", "45541", "54976", "17508", "18367",
/* 1045 */"72875", "39496", "06385", "48458", "30545",
"74383", "22814", "36752", "10707", "48774",
/* 1046 */"09065", "16283", "61398", "08288", "00708",
"21816", "39615", "03102", "02834", "04116",
/* 1047 */"68256", "51225", "92645", "77747", "33104",
"81206", "00112", "53445", "04212", "58476",
/* 1048 */"38744", "81018", "41909", "70458", "72459",
"66136", "97266", "26490", "10877", "45022",
/* 1049 */"44375", "19619", "35750", "59924", "82429",
"90288", "61064", "26489", "87001", "84273",
/* 1050 */"23272", "10134", "04997", "93413", "13198",
"97829", "32764", "88678", "82561", "13238",
/* 1051 */"58711", "42535", "02318", "25006", "56504",
"78133", "66812", "10830", "89531", "01124",
/* 1052 */"66558", "56590", "26356", "87273", "62048",
"24773", "52154", "64570", "29357", "56970",
/* 1053 */"54871", "14219", "43643", "09130", "89036",
"06995", "50337", "20356", "29584", "68668",
/* 1054 */"47195", "48474", "14214", "03616", "62469",
"57633", "76679", "73178", "56465", "11531",
/* 1055 */"60104", "72179", "54310", "54486", "80457",
"25760", "63973", "88170", "95272", "26897",
/* 1056 */"54100", "09707", "85401", "66598", "24591",
"19362", "99596", "89509", "05014", "69008",
/* 1057 */"36130", "21395", "92589", "31393", "59652",
"31274", "54963", "16347", "45708", "74308",
/* 1058 */"38327", "16726", "34542", "48252", "49499",
"53231", "12845", "97958", "24570", "50647",
/* 1059 */"97599", "60943", "94171", "39617", "01427",
"49491", "07542", "80751", "29850", "16570",
/* 1060 */"39253", "15115", "04802", "72920", "19967",
"75497", "24271", "38957", "37143", "42552",
/* 1061 */"08307", "92336", "83875", "09632", "43840",
"42836", "52675", "58351", "29858", "44523",
/* 1062 */"58179", "59316", "94304", "56221", "69000",
"01468", "72898", "53386", "33444", "80232",
/* 1063 */"87367", "49333", "75409", "06472", "13873",
"21792", "74876", "19441", "25217", "74254",
/* 1064 */"44112", "04204", "58044", "04701", "18840",
"30494", "92058", "93703", "36769", "36291",
/* 1065 */"56729", "44393", "14162", "64646", "98068",
"59893", "47126", "24938", "38723", "47892",
/* 1066 */"19213", "95675", "85931", "10915", "28812",
"14971", "32886", "31398", "54156", "82734",
/* 1067 */"22123", "44315", "66463", "04904", "24995",
"53484", "17661", "80988", "00899", "73514",
/* 1068 */"16144", "01484", "06289", "96375", "59987",
"56385", "95850", "14377", "00155", "45641",
/* 1069 */"42376", "86111", "05194", "00255", "08556",
"50857", "13995", "52668", "53572", "62478",
/* 1070 */"88246", "99866", "99208", "73413", "93534",
"81600", "62052", "81537", "43686", "32734",
/* 1071 */"73545", "10949", "16122", "12530", "10556",
"87512", "14161", "11191", "90823", "87042",
/* 1072 */"97689", "51474", "18758", "04684", "77454",
"04075", "14746", "91078", "48533", "93461",
/* 1073 */"11754", "47497", "32235", "11575", "63961",
"74084", "62858", "27272", "92874", "57587",
/* 1074 */"62887", "40812", "11848", "72001", "45139",
"81761", "42808", "47885", "87239", "61063",
/* 1075 */"35680", "37748", "06760", "55612", "16453",
"48694", "70662", "04437", "55501", "16065",
/* 1076 */"66481", "30935", "21086", "22973", "14277",
"34257", "01736", "63187", "04731", "62381",
/* 1077 */"49622", "33691", "03414", "23515", "14142",
"46561", "61206", "28067", "78283", "58398",
/* 1078 */"70351", "52771", "62362", "52775", "00716",
"56636", "68700", "42714", "07446", "05552",
/* 1079 */"63644", "63401", "60425", "35395", "68769",
"93943", "72643", "07188", "50273", "57643",
/* 1080 */"67159", "20184", "50614", "12026", "96515",
"21276", "37268", "68944", "06702", "16804",
/* 1081 */"37024", "33605", "77471", "87973", "95693",
"00793", "52123", "56377", "36245", "15931",
/* 1082 */"17723", "27030", "58306", "76595", "66319",
"43152", "39400", "08434", "79041", "59252",
/* 1083 */"17484", "16024", "59100", "72542", "06834",
"49385", "32313", "62184", "03297", "12909",
/* 1084 */"73039", "70162", "02054", "37426", "62262",
"72386", "12898", "30680", "84218", "27848",
/* 1085 */"62773", "23503", "14123", "08261", "66471",
"12315", "22723", "95700", "71975", "20950",
/* 1086 */"12383", "15131", "49629", "93222", "12178",
"65145", "47957", "62964", "66241", "13289",
/* 1087 */"38447", "77456", "94903", "58493", "85819",
"54765", "05969", "83244", "82565", "84463",
/* 1088 */"39836", "87711", "06057", "32420", "58735",
"89368", "11376", "10812", "65224", "10097",
/* 1089 */"01885", "90793", "62791", "85116", "56746",
"76105", "84148", "94501", "41866", "49672",
/* 1090 */"35010", "38179", "97984", "42756", "39488",
"14665", "23381", "24963", "74942", "33803",
/* 1091 */"77716", "39886", "70130", "47074", "53174",
"74156", "64869", "21343", "38945", "36492",
/* 1092 */"43774", "95744", "42186", "29122", "00867",
"69337", "53069", "39416", "50339", "42950",
/* 1093 */"44282", "30459", "25542", "78432", "88011",
"00796", "70672", "07232", "42349", "92736",
/* 1094 */"79402", "34862", "67309", "52596", "57288",
"42699", "10452", "52772", "16599", "60835",
/* 1095 */"72185", "17542", "67783", "43987", "00204",
"15691", "22154", "39604", "79911", "63971",
/* 1096 */"07691", "70414", "72686", "93011", "86926",
"00952", "50167", "11320", "14320", "41668",
/* 1097 */"20047", "56581", "64188", "50469", "83714",
"66723", "20290", "11181", "80353", "43619",
/* 1098 */"84230", "68892", "42240", "70066", "50846",
"37636", "58243", "18411", "23787", "20888",
/* 1099 */"93352", "34119", "23723", "96576", "10360",
"00012", "63927", "75970", "85312", "33417",
/* 1100 */"85604", "54908", "38992", "77961", "59337",
"75563", "59755", "31862", "45033", "91503",
/* 1101 */"80508", "76285", "17630", "09429", "30293",
"16391", "87516", "20628", "53159", "80261",
/* 1102 */"12043", "94593", "02328", "43332", "83707",
"12201", "23088", "39829", "76777", "55495",
/* 1103 */"41717", "72807", "33686", "73225", "30173",
"05410", "91541", "45387", "48084", "21855",
/* 1104 */"54866", "57899", "13389", "68475", "77825",
"01301", "74831", "15970", "68803", "14519",
/* 1105 */"12030", "92278", "86864", "04430", "50868",
"04949", "08820", "98949", "33713", "87279",
/* 1106 */"71744", "72285", "82724", "45846", "69682",
"89838", "70910", "26386", "16527", "21698",
/* 1107 */"07607", "46148", "29548", "08230", "93459",
"69788", "43771", "50812", "60337", "40035",
/* 1108 */"25584", "34039", "92437", "61873", "07874",
"43107", "56212", "48897", "48008", "83125",
/* 1109 */"64572", "02625", "39993", "32573", "88828",
"19036", "19394", "51921", "68629", "84838",
/* 1110 */"22089", "96239", "65157", "03977", "92561",
"41314", "80082", "60159", "74429", "34535",
/* 1111 */"58590", "90320", "67095", "28958", "62803",
"05097", "08269", "63296", "92249", "80332",
/* 1112 */"21640", "45655", "94143", "89051", "22782",
"29086", "38014", "11641", "54398", "85092",
/* 1113 */"81936", "35183", "97146", "90677", "41012",
"62425", "19569", "40059", "32565", "23037",
/* 1114 */"34506", "67652", "56534", "21287", "58697",
"36165", "43304", "52134", "22272", "75345",
/* 1115 */"64575", "80559", "38389", "21713", "36749",
"30055", "39889", "04287", "21294", "77790",
/* 1116 */"28400", "71414", "73453", "62631", "85191",
"18446", "81309", "33305", "67816", "56922",
/* 1117 */"00797", "10584", "63075", "31922", "48847",
"34738", "32528", "01884", "71241", "34618",
/* 1118 */"39544", "26038", "86456", "29624", "76562",
"21853", "31395", "81509", "72150", "35599",
/* 1119 */"94881", "65970", "22406", "21125", "41074",
"63283", "61007", "22211", "21082", "73175",
/* 1120 */"74166", "39761", "35695", "43436", "38419",
"00937", "68925", "63631", "90667", "15306",
/* 1121 */"81282", "51396", "92605", "34582", "75716",
"00563", "85458", "98519", "95291", "28719",
/* 1122 */"27598", "45667", "77617", "09543", "59492",
"80179", "95095", "05757", "87364", "82473",
/* 1123 */"97034", "28089", "39063", "71062", "11200",
"42848", "74844", "60021", "42546", "97331",
/* 1124 */"80634", "67739", "96041", "57015", "92100",
"97403", "19269", "98036", "10903", "80518",
/* 1125 */"77896", "10740", "83670", "67658", "58485",
"87918", "55526", "68299", "59299", "82190",
/* 1126 */"01283", "11951", "80432", "60004", "67206",
"72482", "81741", "23414", "99285", "55717",
/* 1127 */"05949", "28563", "05514", "32008", "51159",
"61218", "10172", "01302", "87465", "81485",
/* 1128 */"89689", "04867", "34303", "15893", "84495",
"38167", "35321", "04292", "14843", "83461",
/* 1129 */"90508", "90873", "64852", "32793", "64464",
"75215", "70933", "70719", "27386", "37924",
/* 1130 */"15783", "01737", "35510", "21366", "54979",
"31337", "43469", "98473", "90915", "50441",
/* 1131 */"20779", "84571", "58354", "34236", "53161",
"58091", "40332", "96450", "44850", "64913",
/* 1132 */"59022", "81361", "34099", "09325", "62447",
"16298", "65423", "38905", "44505", "65521",
/* 1133 */"41161", "69968", "56531", "92298", "22547",
"40605", "07198", "34011", "47837", "04156",
/* 1134 */"05101", "61976", "75740", "71764", "22726",
"58391", "25497", "48681", "64279", "30092",
/* 1135 */"10938", "69708", "44018", "30646", "74933",
"47964", "77638", "60987", "47121", "36748",
/* 1136 */"83088", "93442", "10017", "02240", "39942",
"21743", "14976", "98483", "68418", "75537",
/* 1137 */"00579", "56704", "47455", "03455", "01725",
"08959", "87671", "76914", "80139", "35079",
/* 1138 */"97868", "40700", "80345", "96368", "40054",
"89076", "10675", "12199", "24137", "66889",
/* 1139 */"09711", "15318", "19689", "34252", "70632",
"75170", "04407", "86853", "59651", "68194",
/* 1140 */"31789", "88212", "17274", "83864", "47527",
"40799", "75637", "23308", "00004", "73403",
/* 1141 */"34532", "89800", "71622", "31468", "86314",
"77136", "16149", "38935", "40487", "30025",
/* 1142 */"26057", "79898", "15817", "95290", "49993",
"97314", "54353", "96343", "41199", "59863",
/* 1143 */"40196", "52895", "35391", "07148", "53757",
"27107", "25989", "04982", "86187", "05431",
/* 1144 */"39542", "20073", "46940", "03292", "81653",
"20670", "35522", "77340", "85154", "22598",
/* 1145 */"75945", "04357", "35302", "90752", "37844",
"24999", "34389", "37872", "20274", "50215",
/* 1146 */"86180", "59251", "09172", "36760", "49093",
"94483", "73259", "09651", "26947", "99041",
/* 1147 */"45163", "28966", "15577", "69733", "43612",
"49510", "18029", "56461", "80917", "25340",
/* 1148 */"10920", "28307", "25105", "45935", "44072",
"51297", "97347", "03892", "70827", "63643",
/* 1149 */"33755", "95467", "98153", "49384", "39956",
"57617", "40684", "77645", "86474", "66051",
/* 1150 */"14451", "20996", "59758", "97119", "91014",
"65435", "40859", "02057", "07928", "92032",
/* 1151 */"44614", "40759", "62318", "32739", "96513",
"33778", "94934", "34498", "30941", "32203",
/* 1152 */"59898", "20525", "35979", "84548", "52302",
"06412", "57230", "22690", "32057", "87832",
/* 1153 */"54874", "83187", "06760", "39395", "57156",
"97051", "54057", "95727", "07098", "86634",
/* 1154 */"40083", "60827", "26695", "53782", "00939",
"55551", "93797", "02929", "42754", "32428",
/* 1155 */"76783", "27862", "76058", "33886", "23691",
"77411", "22156", "08120", "85692", "12521",
/* 1156 */"80148", "32928", "54258", "89291", "10900",
"60012", "94425", "20818", "51530", "86548",
/* 1157 */"05593", "77343", "57199", "40419", "41819",
"44334", "48934", "90918", "27045", "53730",
/* 1158 */"31155", "84032", "73668", "62755", "30742",
"54702", "87434", "40753", "73018", "53435",
/* 1159 */"39957", "11663", "59970", "39251", "98334",
"13749", "00505", "40699", "47177", "84571",
/* 1160 */"83709", "37657", "87688", "98205", "42022",
"90306", "67701", "31119", "91685", "83010",
/* 1161 */"89736", "49573", "82920", "41103", "91400",
"53141", "66846", "70341", "96111", "87275",
/* 1162 */"64064", "72238", "94106", "20270", "38408",
"19547", "60565", "16547", "18109", "25880",
/* 1163 */"96692", "10260", "98479", "61322", "56977",
"19452", "73305", "50025", "10712", "46336",
/* 1164 */"29211", "17900", "35813", "33602", "39077",
"21225", "05167", "50467", "40908", "03738",
/* 1165 */"70935", "67293", "56011", "54397", "49885",
"13376", "66251", "20464", "76246", "06786",
/* 1166 */"73410", "75205", "77155", "88675", "65778",
"02756", "36458", "42579", "09719", "10531",
/* 1167 */"36246", "99585", "17617", "83534", "71955",
"39081", "81090", "91745", "14713", "50076",
/* 1168 */"55292", "48957", "73377", "56974", "54688",
"99012", "56949", "02449", "58142", "66398",
/* 1169 */"46932", "49633", "57442", "88754", "63460",
"00418", "11427", "01994", "99872", "96825",
/* 1170 */"78235", "13288", "26796", "07076", "16984",
"99073", "91634", "41668", "52578", "42567",
/* 1171 */"98410", "75055", "03701", "32063", "66215",
"84798", "06638", "04630", "88021", "55041",
/* 1172 */"08008", "28860", "33468", "48155", "47913",
"58892", "12376", "16747", "99285", "53026",
/* 1173 */"02657", "39565", "90363", "73682", "36752",
"58471", "89129", "91420", "87976", "86930",
/* 1174 */"56718", "35701", "92165", "80240", "04457",
"15568", "66285", "91979", "36112", "24437",
/* 1175 */"38020", "82778", "38790", "75099", "98383",
"53796", "32049", "53095", "42921", "32525",
/* 1176 */"94630", "71198", "36324", "84629", "74805",
"14224", "01803", "55526", "11252", "37990",
/* 1177 */"13910", "52251", "18257", "42175", "81876",
"74208", "89152", "52414", "19078", "57362",
/* 1178 */"35394", "59046", "43770", "26551", "16816",
"78533", "24977", "96241", "47397", "46687",
/* 1179 */"89702", "88557", "02995", "36749", "74662",
"27278", "45881", "93914", "22312", "73515",
/* 1180 */"01619", "89025", "63685", "71691", "77589",
"26824", "87975", "69929", "03329", "94651",
/* 1181 */"52887", "03458", "19639", "38063", "08293",
"26981", "63221", "74775", "28136", "71917",
/* 1182 */"24560", "36076", "82238", "45451", "37199",
"83886", "76731", "48619", "42330", "55942",
/* 1183 */"30365", "04575", "30191", "11664", "77051",
"02146", "92019", "39457", "63188", "96734",
/* 1184 */"78928", "20876", "96688", "14089", "52011",
"71779", "55802", "88011", "74684", "64357",
/* 1185 */"49799", "78712", "53739", "12497", "10859",
"17274", "53606", "40553", "81755", "50417",
/* 1186 */"81607", "11292", "45743", "69364", "94112",
"22121", "75817", "52677", "75086", "25292",
/* 1187 */"84377", "44138", "78005", "01166", "34697",
"27679", "66165", "90685", "74570", "89953",
/* 1188 */"79695", "51897", "04542", "39516", "00151",
"55034", "04895", "91958", "09297", "72542",
/* 1189 */"88009", "97629", "65182", "84428", "42729",
"05437", "20679", "75805", "71177", "93806",
/* 1190 */"81931", "80491", "07100", "16412", "17203",
"50165", "83520", "57241", "20166", "27483",
/* 1191 */"01394", "30395", "46426", "41265", "61710",
"74090", "24545", "64116", "87142", "37512",
/* 1192 */"35921", "76975", "46169", "62606", "32719",
"57532", "52794", "69608", "83663", "18118",
/* 1193 */"46145", "79240", "38872", "48039", "47270",
"37216", "44683", "42995", "95435", "46668",
/* 1194 */"03009", "77528", "78022", "34375", "10921",
"57693", "25077", "40122", "43145", "80682",
/* 1195 */"15588", "79084", "63033", "67237", "43759",
"59551", "24082", "17614", "72925", "12697",
/* 1196 */"78257", "26132", "92623", "99228", "56454",
"10136", "55926", "14946", "60381", "30512",
/* 1197 */"93787", "63096", "59643", "10551", "85420",
"59275", "23954", "31406", "63128", "93513",
/* 1198 */"70096", "28764", "72242", "17253", "79691",
"19516", "95409", "56859", "95261", "21594",
/* 1199 */"29352", "61514", "25857", "77572", "44722",
"36920", "62553", "63520", "04126", "26137",
/* 1200 */"77616", "02127", "26970", "84948", "85388",
"06340", "64173", "67323", "94830", "61176",
/* 1201 */"23739", "18904", "42981", "38868", "65639",
"59277", "49584", "71603", "59304", "26234",
/* 1202 */"08926", "97849", "69417", "41733", "79670",
"44509", "10496", "72296", "33313", "96118",
/* 1203 */"81667", "60967", "04185", "64823", "14174",
"35561", "09211", "25225", "38672", "38369",
/* 1204 */"10212", "42996", "60805", "79301", "47799",
"03140", "72551", "28378", "29040", "97626",
/* 1205 */"27131", "34724", "88782", "80691", "54980",
"15834", "48317", "15346", "80452", "36175",
/* 1206 */"65346", "84319", "33062", "97499", "44621",
"78428", "74404", "43344", "46130", "06123",
/* 1207 */"16739", "64438", "31156", "57660", "86278",
"72069", "34095", "56455", "19464", "11346",
/* 1208 */"71375", "04902", "99566", "35005", "02070",
"15630", "69800", "28903", "09912", "23315",
/* 1209 */"60598", "48174", "10254", "80226", "86229",
"23902", "56678", "28517", "55400", "04989",
/* 1210 */"39101", "38583", "64711", "69347", "08094",
"30512", "49882", "59837", "12152", "29874",
/* 1211 */"84513", "77361", "09631", "93047", "70624",
"27061", "13930", "01014", "35654", "09143",
/* 1212 */"86324", "28650", "93134", "75882", "96135",
"72627", "97951", "30136", "42993", "61446",
/* 1213 */"52158", "93163", "85294", "40123", "20748",
"36580", "75062", "72496", "41811", "25955",
/* 1214 */"48892", "52507", "19973", "49887", "25466",
"33701", "24659", "86818", "50139", "96556",
/* 1215 */"22652", "85626", "04770", "27971", "93337",
"57892", "57925", "60101", "79131", "39381",
/* 1216 */"86165", "09401", "90319", "06836", "30268",
"72496", "69986", "33794", "21538", "51999",
/* 1217 */"87937", "35413", "34542", "17712", "04317",
"57532", "74485", "33832", "22709", "64803",
/* 1218 */"89243", "23776", "29016", "53807", "31710",
"69349", "95482", "99818", "01236", "79606",
/* 1219 */"59888", "38705", "83063", "18615", "93568",
"41222", "88215", "59986", "41830", "81133",
/* 1220 */"12914", "25314", "36167", "14191", "54440",
"16388", "19138", "83319", "43363", "38566",
/* 1221 */"35959", "21768", "00055", "61219", "81673",
"38124", "47875", "37311", "21416", "74093",
/* 1222 */"29882", "91511", "20602", "23868", "41308",
"53322", "36291", "91009", "37218", "22006",
/* 1223 */"18231", "80170", "75504", "92998", "34589",
"39948", "14810", "15114", "97920", "64522",
/* 1224 */"60091", "82092", "02659", "51010", "22657",
"49114", "82237", "86408", "87748", "59948",
/* 1225 */"92016", "88167", "19530", "58933", "22093",
"04530", "14142", "51852", "33059", "10484",
/* 1226 */"90686", "68176", "26008", "79744", "94841",
"46667", "30693", "64638", "58175", "62869",
/* 1227 */"48712", "45410", "15106", "98625", "30931",
"54136", "87364", "93291", "78546", "76892",
/* 1228 */"06710", "87712", "67243", "09347", "99576",
"94303", "23818", "83306", "30036", "30636",
/* 1229 */"98259", "24893", "77497", "97875", "61484",
"39096", "49373", "73424", "68686", "05234",
/* 1230 */"76626", "86712", "19052", "93029", "19469",
"80078", "13100", "73879", "39166", "08338",
/* 1231 */"51162", "06646", "53754", "59205", "66990",
"59887", "11481", "82513", "07076", "04596",
/* 1232 */"50022", "45736", "10849", "27736", "07104",
"10243", "28944", "48425", "06293", "00052",
/* 1233 */"29498", "29761", "63958", "24072", "41921",
"37580", "20022", "08084", "06691", "43455",
/* 1234 */"94044", "28793", "89517", "59192", "25358",
"49244", "60408", "90055", "89376", "56854",
/* 1235 */"32617", "62277", "23241", "79066", "03290",
"03649", "13148", "48675", "88656", "83111",
/* 1236 */"26651", "03332", "35452", "84454", "96110",
"74509", "05063", "08240", "53314", "21178",
/* 1237 */"42287", "49623", "45983", "75864", "67344",
"52536", "18195", "47783", "12760", "96241",
/* 1238 */"52412", "28132", "82142", "61667", "93301",
"69528", "75656", "94216", "19933", "55475",
/* 1239 */"25547", "08025", "18364", "47917", "88557",
"88835", "40846", "37761", "97992", "91554",
/* 1240 */"47836", "50836", "81781", "54220", "41434",
"29235", "97589", "31459", "18122", "18866",
/* 1241 */"88475", "41056", "81936", "49664", "09309",
"55477", "36729", "94075", "18052", "79998",
/* 1242 */"32121", "74003", "31651", "14691", "12077",
"98082", "38363", "10904", "59676", "50174",
/* 1243 */"39723", "10927", "28579", "66795", "83685",
"33044", "88980", "54215", "42806", "52423",
/* 1244 */"83246", "74329", "45483", "96722", "49916",
"77906", "62259", "58143", "31810", "56891",
/* 1245 */"13116", "62461", "02572", "28434", "40229",
"92242", "79945", "10558", "91332", "65831",
/* 1246 */"54650", "80334", "72433", "69961", "64235",
"69238", "16877", "88532", "52210", "38162",
/* 1247 */"09361", "47564", "28195", "03624", "12877",
"41604", "66013", "42632", "24966", "38836",
/* 1248 */"66690", "36957", "23070", "17782", "42423",
"79652", "48689", "93971", "18569", "20440",
/* 1249 */"03724", "58419", "36864", "51427", "16976",
"45351", "97668", "86372", "86142", "13850",
/* 1250 */"87452", "45864", "15464", "43357", "28835",
"78548", "70122", "10933", "80876", "04671",
/* 1251 */"35226", "26734", "74673", "51455", "24481",
"75811", "86180", "22560", "48474", "64570",
/* 1252 */"62646", "61322", "18285", "26255", "48624",
"23719", "76645", "72935", "62491", "87653",
/* 1253 */"14767", "48485", "80004", "87535", "89532",
"77988", "10916", "46630", "42409", "62923",
/* 1254 */"43823", "57251", "91002", "71441", "96773",
"00231", "55309", "47933", "17039", "60049",
/* 1255 */"51213", "35688", "44333", "08415", "33328",
"91896", "71034", "59158", "08539", "22001",
/* 1256 */"34457", "99343", "39147", "46347", "79158",
"21232", "73879", "18531", "82656", "55938",
/* 1257 */"72286", "20626", "58930", "50449", "40611",
"19838", "32286", "13616", "47771", "26345",
/* 1258 */"73572", "90428", "04282", "96850", "44878",
"76484", "47389", "91236", "40199", "69446",
/* 1259 */"58541", "48373", "98960", "49928", "07054",
"41778", "56548", "62141", "54271", "91038",
/* 1260 */"26556", "42585", "43338", "26414", "61241",
"78470", "73195", "42618", "11051", "87535",
/* 1261 */"65076", "97275", "95949", "73316", "21039",
"46226", "12673", "52917", "28328", "49156",
/* 1262 */"46719", "04257", "34937", "81301", "77500",
"85498", "23224", "06491", "29118", "90344",
/* 1263 */"74048", "42455", "02941", "52439", "20552",
"07793", "14004", "76621", "19665", "69933",
/* 1264 */"33140", "86058", "89399", "36839", "62325",
"44017", "92035", "62382", "00801", "81796",
/* 1265 */"81203", "18716", "39983", "49504", "01553",
"31843", "21174", "47346", "82035", "20426",
/* 1266 */"65983", "45780", "79535", "23830", "83490",
"72502", "77030", "22901", "45907", "99677",
/* 1267 */"80590", "48091", "59730", "12661", "31241",
"73668", "17997", "99663", "52349", "87956",
/* 1268 */"11708", "85090", "40739", "79005", "86633",
"00460", "73204", "97290", "53020", "49125",
/* 1269 */"77913", "66027", "60003", "43781", "56810",
"80760", "20002", "38953", "19674", "32315",
/* 1270 */"48066", "89208", "59266", "34038", "08654",
"34222", "36951", "19797", "35782", "46707",
/* 1271 */"91039", "78028", "05017", "50309", "04110",
"71459", "95484", "57703", "93760", "07543",
/* 1272 */"72921", "10691", "57042", "25523", "34413",
"81108", "67649", "85427", "52764", "75506",
/* 1273 */"98471", "45337", "47655", "14225", "82416",
"99910", "30108", "91597", "28426", "16488",
/* 1274 */"65133", "66502", "05994", "80041", "42728",
"32996", "01242", "15998", "64273", "73901",
/* 1275 */"70868", "52062", "56023", "53417", "77481",
"20196", "14458", "46217", "45698", "38595",
/* 1276 */"92294", "31441", "58878", "01349", "95973",
"01699", "34896", "62800", "34065", "68148",
/* 1277 */"51316", "39365", "35428", "33603", "46360",
"59238", "70291", "92945", "06720", "23502",
/* 1278 */"02338", "53194", "42802", "86148", "62484",
"05450", "14532", "46210", "85918", "83392",
/* 1279 */"40960", "75916", "20096", "90853", "27003",
"17221", "35995", "06909", "31500", "54416",
/* 1280 */"83039", "65337", "47209", "61978", "71936",
"79759", "37884", "67052", "81300", "53168",
/* 1281 */"51858", "00293", "95599", "56990", "33204",
"99212", "53666", "18438", "89996", "44866",
/* 1282 */"28420", "21964", "06122", "58149", "05598",
"64948", "74922", "67882", "20636", "85898",
/* 1283 */"73795", "21581", "38439", "10686", "63041",
"21952", "95993", "51134", "03271", "87529",
/* 1284 */"60894", "33021", "15061", "67819", "82724",
"86431", "74672", "64567", "58328", "99620",
/* 1285 */"51712", "14236", "23055", "52701", "64725",
"26086", "64156", "14427", "48578", "95335",
/* 1286 */"32076", "73411", "74519", "13575", "68749",
"05282", "09360", "19448", "19978", "45061",
/* 1287 */"99540", "55603", "25768", "88418", "77942",
"69521", "98710", "75936", "72940", "40339",
/* 1288 */"46834", "72204", "27741", "71755", "67447",
"25431", "12444", "60724", "67709", "95151",
/* 1289 */"82906", "64210", "90935", "14537", "05135",
"98356", "94204", "12457", "24830", "90764",
/* 1290 */"02126", "63316", "96986", "22300", "43259",
"09468", "16478", "44305", "17152", "99661",
/* 1291 */"81046", "82920", "86770", "23103", "49421",
"12546", "34455", "56825", "43438", "46965",
/* 1292 */"51887", "58608", "93990", "49925", "18062",
"01471", "64417", "78182", "38514", "70978",
/* 1293 */"13668", "55373", "71190", "53990", "67118",
"21971", "00645", "80305", "21395", "40310",
/* 1294 */"68453", "77504", "90325", "15497", "87459",
"70800", "47688", "49404", "27039", "59202",
/* 1295 */"23179", "98849", "84091", "54575", "69725",
"78432", "14687", "20732", "41136", "17167",
/* 1296 */"45926", "09409", "14967", "41024", "93551",
"80758", "66724", "76060", "94008", "71614",
/* 1297 */"59114", "06773", "55089", "15866", "52229",
"78988", "83084", "46446", "08459", "82634",
/* 1298 */"41385", "55585", "40987", "90927", "96388",
"28601", "72463", "47135", "40163", "24088",
/* 1299 */"50500", "25216", "01607", "47055", "30488",
"01989", "91303", "90720", "34016", "67206",
/* 1300 */"04396", "47860", "01933", "53633", "86982",
"24303", "89991", "92665", "34886", "24984",
/* 1301 */"83659", "01585", "00283", "93582", "25704",
"06561", "45337", "66605", "75317", "89316",
/* 1302 */"85536", "96440", "15496", "41973", "29528",
"18158", "66390", "82313", "04044", "13090",
/* 1303 */"21057", "10238", "72387", "71382", "56018",
"33002", "15203", "87801", "51095", "77870",
/* 1304 */"34960", "51305", "06661", "47783", "70798",
"51952", "84981", "94831", "34212", "86547",
/* 1305 */"28409", "81341", "56115", "21635", "91268",
"06554", "96873", "97973", "78311", "28904",
/* 1306 */"61893", "47269", "61298", "98126", "90502",
"83194", "07618", "81237", "53786", "76727",
/* 1307 */"26316", "27137", "03278", "44357", "46892",
"06244", "99332", "34680", "82450", "94950",
/* 1308 */"50125", "22271", "37582", "27028", "19223",
"32894", "05378", "34598", "17512", "33627",
/* 1309 */"66900", "81261", "80493", "81630", "37296",
"51809", "15384", "99134", "32243", "36509",
/* 1310 */"98063", "08753", "49035", "72975", "52447",
"92847", "76895", "15498", "04945", "54764",
/* 1311 */"45403", "80196", "90190", "17669", "97253",
"39537", "50486", "15707", "62880", "82857",
/* 1312 */"26147", "39544", "58386", "94670", "10437",
"51528", "06901", "02502", "54673", "79998",
/* 1313 */"74994", "24880", "56201", "69577", "27540",
"25858", "18503", "16882", "13554", "00781",
/* 1314 */"97118", "80205", "97932", "11806", "76058",
"44628", "90518", "32412", "27172", "57255",
/* 1315 */"19800", "37402", "63065", "24450", "70883",
"47310", "24643", "75165", "60368", "65229",
/* 1316 */"32966", "57318", "53737", "56072", "09448",
"11105", "53567", "16158", "04975", "50394",
/* 1317 */"82400", "52402", "91941", "86828", "27654",
"00055", "12186", "70999", "75344", "70814",
/* 1318 */"52437", "93517", "39954", "87267", "01790",
"78594", "71994", "61399", "95291", "56076",
/* 1319 */"40350", "16619", "82844", "17882", "53386",
"07624", "58895", "57684", "13695", "79317",
/* 1320 */"21600", "48358", "48338", "71902", "75785",
"65962", "61144", "87309", "57563", "91455",
/* 1321 */"50135", "56459", "77362", "88056", "99695",
"65927", "63973", "83361", "65142", "45895",
/* 1322 */"67873", "45836", "89993", "89097", "14220",
"52599", "54743", "08584", "48266", "72558",
/* 1323 */"00551", "23727", "09682", "22594", "86476",
"29923", "74951", "74197", "85374", "82587",
/* 1324 */"86796", "81031", "31862", "34770", "46269",
"71680", "73607", "81004", "69692", "46138",
/* 1325 */"61382", "66726", "23128", "24389", "88890",
"76423", "28214", "08843", "49864", "41329",
/* 1326 */"27777", "56361", "30476", "49479", "03708",
"88403", "24832", "18280", "29439", "68312",
/* 1327 */"48959", "91736", "55989", "14822", "70628",
"49289", "95064", "80520", "09007", "80746",
/* 1328 */"09573", "21258", "34893", "48568", "89803",
"12875", "48470", "40693", "95465", "63417",
/* 1329 */"44856", "35886", "21418", "56727", "27701",
"22736", "96649", "64889", "26973", "31687",
/* 1330 */"56018", "36983", "69375", "18292", "75577",
"24181", "85535", "20284", "80329", "26742",
/* 1331 */"53704", "25653", "15382", "43021", "69711",
"05051", "68247", "81302", "45026", "04862",
/* 1332 */"67099", "59063", "98375", "76631", "85440",
"11004", "98188", "46856", "53821", "60069",
/* 1333 */"68511", "78230", "77291", "42366", "26226",
"16307", "07222", "13388", "63687", "21547",
/* 1334 */"53793", "10686", "30696", "72775", "66502",
"55122", "52661", "54988", "09255", "46175",
/* 1335 */"20596", "15811", "26987", "46635", "66793",
"43424", "88736", "01664", "12764", "96849",
/* 1336 */"16661", "22852", "04683", "49877", "27067",
"77788", "99673", "11505", "82474", "49494",
/* 1337 */"14265", "36168", "50535", "90503", "49799",
"73173", "94369", "08988", "62388", "32504",
/* 1338 */"97489", "31655", "80339", "01366", "44841",
"48161", "57269", "04813", "95449", "61231",
/* 1339 */"46553", "22114", "09130", "26289", "42205",
"53711", "62916", "83339", "37844", "74678",
/* 1340 */"09876", "35377", "57848", "37687", "92635",
"37163", "63815", "52824", "26201", "09575",
/* 1341 */"12571", "91934", "68400", "00975", "37876",
"00887", "46164", "37838", "24214", "29214",
/* 1342 */"51173", "96701", "90969", "54718", "78277",
"29483", "73849", "63917", "85456", "67735",
/* 1343 */"42074", "64530", "83705", "67391", "05492",
"62603", "94162", "76925", "84852", "24795",
/* 1344 */"61716", "09910", "86365", "38317", "05824",
"63654", "81556", "72283", "82990", "31276",
/* 1345 */"12774", "97225", "38722", "45724", "17515",
"14239", "18546", "06149", "48629", "18655",
/* 1346 */"23408", "38156", "34657", "60782", "00339",
"22012", "14237", "26027", "83349", "54050",
/* 1347 */"13105", "97609", "03861", "70992", "99166",
"56966", "76855", "18694", "12386", "66090",
/* 1348 */"57935", "28616", "10696", "05450", "47247",
"32742", "17227", "79062", "81832", "60317",
/* 1349 */"83126", "27674", "13251", "32478", "82001",
"88938", "76561", "20854", "99317", "95727",
/* 1350 */"43828", "93050", "02300", "58496", "69955",
"92997", "73364", "27704", "57391", "17115",
/* 1351 */"25316", "31318", "64121", "85294", "09004",
"61901", "90191", "95504", "57881", "91318",
/* 1352 */"56675", "45131", "61331", "69390", "05619",
"31045", "21368", "30780", "40751", "97129",
/* 1353 */"38992", "22807", "94164", "09397", "93776",
"20803", "21001", "89791", "43698", "27115",
/* 1354 */"58274", "07959", "10106", "08124", "04411",
"86277", "19305", "83644", "54343", "87749",
/* 1355 */"31472", "56608", "43558", "98943", "73525",
"83166", "91469", "90811", "22529", "83954",
/* 1356 */"86987", "07265", "85441", "40423", "33128",
"97415", "22431", "07013", "19907", "29060",
/* 1357 */"28364", "03664", "75729", "21287", "53549",
"86140", "11023", "82326", "88537", "52517",
/* 1358 */"75538", "66425", "71946", "44142", "78209",
"74282", "24763", "61582", "86116", "33067",
/* 1359 */"57683", "33655", "30990", "32047", "63108",
"71237", "08086", "21142", "88625", "08579",
/* 1360 */"86531", "89956", "70803", "79614", "09334",
"07987", "24795", "39675", "70041", "50708",
/* 1361 */"33296", "81858", "39771", "21948", "20671",
"18165", "92871", "76045", "73508", "69011",
/* 1362 */"06105", "29690", "55967", "12010", "30606",
"77748", "90394", "15427", "18909", "90224",
/* 1363 */"97292", "75813", "87648", "49258", "65302",
"36171", "26897", "26386", "18732", "32848",
/* 1364 */"35422", "98366", "88630", "75444", "28094",
"61649", "84126", "23512", "31877", "26717",
/* 1365 */"79657", "46746", "93986", "08299", "55786",
"99625", "34151", "97989", "50906", "31569",
/* 1366 */"55658", "56870", "98889", "33079", "32090",
"73991", "17314", "64440", "41612", "22300",
/* 1367 */"83267", "93616", "19246", "31443", "46411",
"72085", "29083", "34817", "61745", "81302",
/* 1368 */"55492", "40574", "96335", "35988", "86242",
"86515", "26794", "43775", "82706", "94110",
/* 1369 */"61854", "27007", "77819", "50314", "44870",
"41193", "23886", "44351", "34350", "34795",
/* 1370 */"35957", "43571", "30994", "43467", "08154",
"67458", "85796", "20075", "91118", "14655",
/* 1371 */"03091", "50314", "19079", "17756", "09122",
"49740", "35151", "58453", "32754", "62072",
/* 1372 */"50294", "75617", "84581", "99982", "16518",
"80503", "99675", "26844", "28453", "94491",
/* 1373 */"19250", "15758", "88926", "86301", "11190",
"50354", "57418", "21046", "66243", "82357",
/* 1374 */"09534", "97303", "23862", "53126", "85998",
"95723", "97338", "20800", "84323", "18138",
/* 1375 */"63755", "06080", "30388", "37619", "92184",
"31833", "92582", "44239", "61885", "57071",
/* 1376 */"92255", "02057", "98972", "74270", "30765",
"35551", "13778", "66367", "53637", "37193",
/* 1377 */"02454", "22117", "89385", "10691", "74900",
"80848", "30771", "03972", "07989", "73862",
/* 1378 */"71990", "15752", "77015", "99762", "12344",
"18460", "98025", "41487", "03662", "70205",
/* 1379 */"44374", "71722", "73098", "74721", "61034",
"12337", "25583", "95352", "18158", "43655",
/* 1380 */"28804", "16051", "54394", "74679", "10284",
"47357", "86921", "87213", "98036", "29080",
/* 1381 */"25107", "57796", "85631", "59709", "72436",
"00763", "07024", "33938", "25912", "55919",
/* 1382 */"28168", "20626", "50231", "22273", "75494",
"88015", "64712", "48707", "34498", "04949",
/* 1383 */"53267", "89229", "93937", "43523", "98723",
"16804", "56707", "26272", "66344", "75769",
/* 1384 */"87540", "21645", "03648", "26131", "13379",
"30557", "99582", "21494", "38499", "79719",
/* 1385 */"95436", "70790", "64961", "03001", "57972",
"42966", "23728", "72357", "00640", "63623",
/* 1386 */"85687", "12544", "02119", "22978", "40063",
"48911", "72909", "22561", "94345", "49462",
/* 1387 */"42397", "12424", "03507", "98176", "19165",
"44129", "25940", "70867", "82822", "07916",
/* 1388 */"46395", "42244", "31944", "85826", "64876",
"96711", "06377", "92255", "22927", "48273",
/* 1389 */"66953", "37615", "44917", "72128", "48452",
"69182", "49796", "54048", "06389", "71466",
/* 1390 */"09817", "58372", "50586", "03771", "37034",
"10190", "30997", "66031", "65036", "81307",
/* 1391 */"07043", "31857", "08942", "05928", "13983",
"43540", "24732", "59819", "22027", "78249",
/* 1392 */"46582", "02297", "88917", "58087", "85978",
"58460", "51744", "22802", "60963", "52842",
/* 1393 */"45351", "00454", "68969", "94389", "27987",
"32785", "84007", "18753", "71928", "53957",
/* 1394 */"62098", "73293", "85439", "97769", "59202",
"04141", "72336", "02730", "16343", "59834",
/* 1395 */"03031", "12830", "70455", "20317", "28456",
"01754", "67676", "54103", "05318", "83699",
/* 1396 */"08561", "79381", "89780", "00487", "96499",
"68810", "71521", "84245", "62977", "45121",
/* 1397 */"48273", "83868", "92284", "58949", "31459",
"46264", "14061", "62262", "64430", "13537",
/* 1398 */"20722", "25831", "18107", "41936", "74510",
"85805", "01966", "84661", "34174", "76125",
/* 1399 */"02276", "90779", "90034", "51344", "09323",
"34819", "60527", "43606", "12315", "52186",
/* 1400 */"82175", "88680", "88727", "10917", "51862",
"15061", "46984", "14366", "91412", "06405",
/* 1401 */"89429", "27028", "57933", "63176", "96028",
"02429", "95733", "58345", "28435", "04567",
/* 1402 */"84591", "48336", "15479", "84044", "01522",
"51498", "10495", "18754", "93929", "88393",
/* 1403 */"40587", "18022", "82950", "20863", "30858",
"82160", "12491", "51382", "65359", "11307",
/* 1404 */"29229", "23616", "99671", "42535", "66081",
"93386", "69417", "10162", "83760", "83974",
/* 1405 */"17594", "63482", "07740", "86896", "61465",
"16076", "32574", "40265", "33587", "44537",
/* 1406 */"92985", "21648", "69985", "12673", "73623",
"73410", "67770", "73159", "13003", "15555",
/* 1407 */"73361", "26147", "62360", "35351", "92520",
"44441", "78687", "01112", "63342", "87897",
/* 1408 */"66184", "72765", "36497", "03018", "44331",
"61564", "77558", "06932", "31692", "51666",
/* 1409 */"46328", "36572", "11200", "38973", "97690",
"56265", "30990", "11890", "93344", "54600",
/* 1410 */"61895", "51431", "07715", "49409", "43972",
"86811", "53778", "79352", "25887", "51347",
/* 1411 */"26322", "76727", "59766", "06394", "62706",
"65881", "19172", "92530", "58279", "72218",
/* 1412 */"70761", "47125", "31757", "37008", "03950",
"61066", "23300", "90571", "53927", "56819",
/* 1413 */"30633", "74867", "66045", "43038", "29520",
"74548", "09372", "57676", "65279", "73312",
/* 1414 */"21762", "36526", "52859", "25084", "69846",
"31684", "04507", "99270", "49963", "98091",
/* 1415 */"38636", "18738", "14384", "66182", "91900",
"85439", "39851", "79468", "35542", "60029",
/* 1416 */"66005", "71277", "93913", "51289", "13914",
"64227", "70514", "63093", "80675", "45198",
/* 1417 */"68384", "12822", "24016", "29952", "44059",
"24738", "71229", "19380", "29427", "23252",
/* 1418 */"10113", "66774", "16847", "87038", "52661",
"28300", "81007", "41373", "50523", "04299",
/* 1419 */"63286", "91275", "48382", "32862", "71410",
"98538", "88275", "30207", "26568", "21659",
/* 1420 */"45417", "81119", "37418", "11952", "71268",
"92660", "90502", "04979", "75239", "45595",
/* 1421 */"16004", "98876", "96940", "34392", "40352",
"12363", "23072", "37950", "91173", "90240",
/* 1422 */"57388", "31320", "15321", "41174", "50115",
"39831", "59032", "15817", "71172", "53476",
/* 1423 */"34232", "18261", "33555", "96249", "21725",
"00723", "29370", "80622", "39778", "30228",
/* 1424 */"63936", "05023", "88324", "49353", "66648",
"31542", "51222", "40800", "85663", "33646",
/* 1425 */"37621", "01999", "20961", "36724", "70880",
"01610", "78654", "42906", "52187", "94276",
/* 1426 */"77782", "38325", "40535", "99411", "54951",
"54462", "38732", "27476", "64419", "78679",
/* 1427 */"59498", "09826", "47837", "72790", "55537",
"82333", "08420", "62795", "80845", "55105",
/* 1428 */"21791", "03241", "00021", "67081", "42879",
"00693", "96807", "34849", "87332", "83365",
/* 1429 */"35050", "21972", "95793", "36080", "05469",
"20417", "81478", "33912", "93140", "48461",
/* 1430 */"94144", "25359", "79372", "29907", "49145",
"20809", "33833", "74988", "55228", "33891",
/* 1431 */"17531", "26030", "94816", "74052", "76088",
"08419", "28674", "08123", "62390", "50925",
/* 1432 */"67872", "10938", "39510", "04736", "78923",
"46431", "87009", "03491", "79273", "99222",
/* 1433 */"78495", "84527", "13022", "30704", "60277",
"14729", "21917", "62340", "46450", "22552",
/* 1434 */"17101", "21217", "75310", "41708", "54922",
"80232", "98307", "43754", "91565", "56370",
/* 1435 */"70982", "93811", "83898", "38596", "59854",
"66236", "77451", "17614", "05756", "01367",
/* 1436 */"31989", "22551", "92331", "64811", "26794",
"51160", "73074", "84515", "56333", "86808",
/* 1437 */"24059", "82360", "80697", "17824", "38328",
"19836", "18900", "47196", "28720", "82495",
/* 1438 */"58526", "52724", "17955", "36191", "01692",
"48773", "30591", "58603", "09051", "58236",
/* 1439 */"77634", "98811", "24359", "75101", "80899",
"70699", "52892", "08391", "97723", "93873",
/* 1440 */"34297", "68315", "28532", "25805", "36037",
"86752", "11590", "41415", "41250", "07102",
/* 1441 */"14672", "40558", "77671", "13550", "74334",
"19534", "33072", "87994", "04813", "30303",
/* 1442 */"73969", "46880", "33151", "48177", "63875",
"76704", "97742", "42735", "52936", "69450",
/* 1443 */"31901", "71976", "97801", "83414", "93537",
"50171", "01876", "07028", "77454", "08271",
/* 1444 */"35319", "80004", "24705", "03707", "75369",
"85039", "91585", "71373", "98492", "69107",
/* 1445 */"50581", "54921", "94143", "07740", "59875",
"22888", "82321", "44845", "46184", "59897",
/* 1446 */"43481", "87079", "14880", "35049", "59114",
"24849", "56421", "57188", "80086", "69519",
/* 1447 */"69369", "66180", "28122", "39780", "46703",
"50176", "92744", "69773", "02450", "09135",
/* 1448 */"30723", "71600", "75268", "87273", "45193",
"85534", "42791", "89963", "70213", "10785",
/* 1449 */"16423", "48765", "34473", "36796", "97246",
"30158", "15711", "04003", "03019", "58621",
/* 1450 */"66241", "82072", "36359", "39074", "87266",
"69303", "41915", "01524", "67981", "65300",
/* 1451 */"89698", "56630", "50968", "15842", "03105",
"29841", "66060", "71815", "80036", "87387",
/* 1452 */"41171", "97682", "14803", "55187", "71756",
"91954", "34525", "07612", "41893", "80773",
/* 1453 */"40176", "13043", "64270", "50830", "25412",
"97076", "31168", "12737", "26371", "59680",
/* 1454 */"40571", "88714", "03292", "43736", "83688",
"70206", "62150", "82523", "85794", "20849",
/* 1455 */"20280", "63877", "62646", "52520", "01133",
"14998", "92336", "49006", "20273", "98940",
/* 1456 */"18455", "55505", "59379", "34457", "17262",
"03321", "99419", "79223", "93174", "35294",
/* 1457 */"61405", "03948", "64197", "59215", "24548",
"78490", "09085", "21420", "35437", "49093",
/* 1458 */"54626", "79858", "28969", "21101", "52871",
"98072", "60724", "22094", "66835", "52009",
/* 1459 */"81920", "09365", "98038", "67302", "54966",
"66641", "22678", "46146", "48437", "08524",
/* 1460 */"62227", "48454", "20160", "31572", "92899",
"29415", "47061", "90457", "85569", "55041",
/* 1461 */"50493", "38619", "32006", "83696", "40539",
"52844", "14081", "81046", "33283", "76354",
/* 1462 */"49321", "13575", "62920", "00724", "47506",
"76257", "86150", "38377", "12813", "44205",
/* 1463 */"51969", "20117", "81999", "99650", "48595",
"90711", "75341", "68328", "50249", "18249",
/* 1464 */"36265", "72249", "99395", "16146", "47821",
"85596", "07550", "84611", "52167", "66654",
/* 1465 */"68544", "58538", "51869", "60137", "65762",
"95560", "13288", "88262", "23843", "66834",
/* 1466 */"98383", "37635", "36917", "87140", "89040",
"29255", "97680", "67444", "66562", "15537",
/* 1467 */"41629", "03786", "72397", "83593", "69053",
"41031", "56953", "15564", "30093", "43957",
/* 1468 */"94950", "69846", "61311", "60965", "25132",
"15485", "99556", "56381", "37345", "14746",
/* 1469 */"76617", "72242", "44643", "72978", "21086",
"53483", "53499", "49884", "20687", "87299",
/* 1470 */"50983", "31993", "51727", "19832", "18131",
"13060", "92861", "90454", "80823", "60732",
/* 1471 */"67326", "51593", "78372", "15690", "16293",
"84459", "09572", "32434", "52536", "78997",
/* 1472 */"84500", "47405", "93996", "02934", "09298",
"32418", "93706", "60181", "96057", "63129",
/* 1473 */"69629", "99616", "86192", "16918", "82236",
"47813", "43181", "10789", "50217", "95972",
/* 1474 */"45427", "80621", "64015", "29877", "59415",
"68889", "43650", "54068", "45753", "23874",
/* 1475 */"04842", "90686", "62968", "46564", "77938",
"09747", "42773", "12460", "44836", "41988",
/* 1476 */"60190", "79290", "32945", "16872", "49694",
"77467", "62193", "36652", "71053", "47972",
/* 1477 */"92765", "63512", "46656", "20048", "63788",
"03192", "97083", "33615", "04619", "41765",
/* 1478 */"47846", "49625", "57112", "38574", "32053",
"99708", "65959", "17295", "62462", "47261",
/* 1479 */"81743", "74308", "29061", "57561", "26611",
"21209", "46261", "52710", "76915", "91415",
/* 1480 */"39681", "47404", "92230", "17205", "61655",
"68488", "27471", "98319", "61241", "35487",
/* 1481 */"68961", "70218", "13715", "66055", "40865",
"33533", "20766", "58662", "05230", "75106",
/* 1482 */"67542", "75202", "99468", "95321", "54715",
"32184", "26215", "84287", "01726", "51551",
/* 1483 */"14374", "09879", "46825", "84353", "55861",
"13739", "92348", "14640", "67591", "24536",
/* 1484 */"10460", "90185", "78344", "15784", "55746",
"55190", "79116", "16788", "86504", "49337",
/* 1485 */"51282", "87415", "26064", "05053", "27906",
"09222", "61320", "98879", "30825", "50336",
/* 1486 */"92403", "68804", "41198", "69180", "33027",
"42593", "94438", "80818", "18903", "72468",
/* 1487 */"78291", "15522", "21300", "40335", "66128",
"63255", "73629", "69505", "50344", "41748",
/* 1488 */"87215", "72404", "89599", "15740", "93907",
"15762", "19878", "37928", "51665", "67020",
/* 1489 */"56470", "50673", "52912", "66642", "76092",
"38924", "99427", "73752", "02765", "34847",
/* 1490 */"59469", "37946", "11912", "32161", "63864",
"41449", "54738", "01341", "22549", "38560",
/* 1491 */"26484", "66134", "02903", "12776", "78687",
"00772", "53585", "87227", "37004", "41541",
/* 1492 */"41903", "75207", "41897", "34759", "43284",
"85048", "10112", "13539", "81625", "06108",
/* 1493 */"67053", "89786", "98020", "76790", "14015",
"58528", "95742", "15673", "54205", "63646",
/* 1494 */"56835", "79433", "05468", "80283", "37499",
"29077", "13072", "78999", "17146", "34010",
/* 1495 */"34299", "20208", "26358", "12247", "27316",
"71490", "20933", "05274", "23962", "64363",
/* 1496 */"82451", "23318", "14230", "71095", "77512",
"71961", "90958", "23518", "73872", "69008",
/* 1497 */"98044", "52950", "29316", "62935", "40153",
"34663", "55002", "21750", "38889", "99000",
/* 1498 */"87059", "14336", "24469", "44760", "16470",
"28620", "13192", "35191", "79835", "16505",
/* 1499 */"40267", "19837", "18161", "40046", "08280",
"51801", "11155", "17281", "59255", "71071",
/* 1500 */"84808", "43031", "48554", "82458", "87384",
"19590", "06969", "39413", "00490", "46371",
/* 1501 */"75732", "11167", "81847", "67665", "62859",
"65585", "36680", "73201", "53940", "43287",
/* 1502 */"84914", "95208", "39319", "84116", "87796",
"57141", "94519", "52247", "11165", "60096",
/* 1503 */"72667", "56841", "62432", "60656", "43342",
"26220", "92608", "18328", "32980", "81617",
/* 1504 */"18390", "21474", "84512", "96440", "04766",
"69049", "65751", "30281", "78239", "81369",
/* 1505 */"13318", "22031", "13835", "50508", "26929",
"01665", "45360", "41295", "08740", "18617",
/* 1506 */"09728", "68854", "89430", "54618", "63571",
"75724", "73614", "53595", "95706", "14704",
/* 1507 */"54217", "62829", "07425", "70136", "97000",
"60189", "60879", "22515", "38314", "61529",
/* 1508 */"58570", "90187", "91255", "39523", "48443",
"09426", "38733", "85223", "47797", "33018",
/* 1509 */"71672", "67977", "36018", "27377", "55411",
"55640", "38621", "11145", "30444", "45297",
/* 1510 */"64917", "66341", "80757", "32247", "25363",
"66505", "23082", "62579", "94977", "63445",
/* 1511 */"12223", "95956", "79445", "45645", "73969",
"87528", "03058", "16936", "68101", "52699",
/* 1512 */"68708", "42538", "38378", "38118", "20182",
"85867", "84491", "15485", "60390", "20316",
/* 1513 */"73460", "37140", "72734", "04144", "82561",
"82752", "93494", "48507", "16629", "60373",
/* 1514 */"99321", "33832", "12440", "64249", "04280",
"16799", "70404", "84303", "26350", "10273",
/* 1515 */"75463", "86244", "38187", "89003", "31003",
"88562", "91817", "02069", "19204", "91970",
/* 1516 */"66008", "82094", "02096", "24799", "66195",
"53896", "44461", "74904", "74873", "50640",
/* 1517 */"29442", "21353", "62576", "88604", "72886",
"97588", "75540", "49080", "78483", "63536",
/* 1518 */"12406", "24728", "27360", "62888", "49129",
"85255", "13757", "97367", "26061", "83547",
/* 1519 */"48286", "77396", "81989", "73584", "42864",
"39132", "37792", "83695", "40548", "56832",
/* 1520 */"53083", "50542", "03848", "64942", "43743",
"41942", "33798", "03064", "39132", "36488",
/* 1521 */"96892", "57009", "63690", "95371", "19347",
"33715", "50962", "76426", "92746", "56077",
/* 1522 */"43995", "12197", "80445", "98603", "92036",
"59567", "86852", "88842", "61005", "27222",
/* 1523 */"67740", "75694", "32936", "34038", "33741",
"74345", "56314", "09761", "02411", "51896",
/* 1524 */"47466", "23182", "23954", "15369", "93500",
"26580", "70913", "90378", "02911", "27425",
/* 1525 */"66710", "47453", "17772", "44528", "01950",
"21711", "41791", "68131", "02385", "23176",
/* 1526 */"18391", "00912", "94640", "43488", "47020",
"47584", "01447", "84400", "13559", "51632",
/* 1527 */"52156", "36861", "31229", "85868", "83275",
"45152", "75322", "91962", "44405", "87033",
/* 1528 */"64173", "14597", "38466", "92943", "71605",
"79843", "46965", "34527", "34469", "77054",
/* 1529 */"83632", "28935", "44536", "97770", "62994",
"94353", "72468", "24548", "52293", "27024",
/* 1530 */"85602", "75788", "84883", "35231", "88331",
"85273", "23739", "31370", "69888", "09007",
/* 1531 */"56610", "18964", "42826", "00447", "30303",
"43632", "09969", "28540", "66455", "83999",
/* 1532 */"33788", "71359", "41447", "92560", "18632",
"65375", "09251", "64684", "64257", "97168",
/* 1533 */"79704", "02936", "79534", "54777", "87688",
"92474", "91935", "97536", "50014", "58777",
/* 1534 */"82515", "28962", "53740", "23583", "68920",
"91591", "78464", "70903", "96795", "16822",
/* 1535 */"80223", "77642", "29131", "11656", "29357",
"98885", "72115", "40082", "96237", "75506",
/* 1536 */"72109", "59902", "96152", "35299", "77254",
"44999", "44741", "15814", "97245", "53367",
/* 1537 */"76656", "74256", "93022", "52309", "07931",
"32243", "52029", "17912", "58734", "73931",
/* 1538 */"65523", "52849", "82421", "34211", "81116",
"09902", "76312", "00428", "21891", "91809",
/* 1539 */"51468", "68349", "43905", "69053", "33060",
"49048", "86650", "40404", "78447", "83966",
/* 1540 */"73723", "32825", "63192", "78713", "69518",
"39899", "82987", "92956", "71545", "59099",
/* 1541 */"68505", "03166", "68506", "77924", "61139",
"63491", "34523", "71448", "66685", "28487",
/* 1542 */"40692", "67295", "17059", "18489", "01754",
"37909", "21806", "96590", "37544", "19776",
/* 1543 */"28489", "98954", "88189", "65791", "46488",
"44483", "65443", "54561", "55880", "32310",
/* 1544 */"29409", "11662", "72479", "73065", "71675",
"06015", "12443", "97592", "66569", "46773",
/* 1545 */"15755", "71956", "22084", "04784", "30292",
"82839", "92860", "92070", "37167", "29411",
/* 1546 */"17512", "04000", "22248", "52834", "06094",
"92698", "76625", "84248", "79468", "54038",
/* 1547 */"96487", "71990", "14488", "46343", "05298",
"67548", "89166", "27843", "83610", "37814",
/* 1548 */"83939", "20296", "35464", "30465", "03821",
"98114", "34571", "99957", "15494", "04518",
/* 1549 */"98370", "54035", "97385", "08583", "15678",
"92224", "44465", "91994", "15765", "61535",
/* 1550 */"99641", "12631", "88732", "19870", "96205",
"53512", "41407", "42416", "92802", "04033",
/* 1551 */"61308", "77241", "01921", "79629", "44394",
"80695", "62977", "85337", "73032", "64308",
/* 1552 */"87205", "41236", "71721", "08285", "09042",
"55618", "19542", "48260", "93110", "36038",
/* 1553 */"06911", "12617", "94729", "99272", "69052",
"95765", "64667", "89094", "73779", "97986",
/* 1554 */"13405", "96644", "93735", "23248", "93753",
"80180", "89580", "91182", "39556", "20365",
/* 1555 */"45636", "61732", "47242", "93127", "99372",
"61336", "47044", "93350", "71512", "91277",
/* 1556 */"73035", "42168", "21349", "39020", "60340",
"90158", "53182", "95230", "65548", "07303",
/* 1557 */"08297", "68536", "55969", "79322", "57601",
"54258", "87271", "68671", "13174", "23287",
/* 1558 */"26254", "19690", "37035", "72678", "97131",
"66561", "03799", "04276", "43998", "17070",
/* 1559 */"68867", "28745", "36931", "04192", "79649",
"01732", "92747", "47509", "26616", "01251",
/* 1560 */"24268", "96244", "38286", "98741", "27351",
"62198", "90080", "45578", "03468", "42995",
/* 1561 */"52206", "90947", "44773", "97944", "92051",
"76161", "88301", "78783", "37331", "66909",
/* 1562 */"68675", "22517", "52625", "87163", "29139",
"61193", "77546", "41111", "80116", "93077",
/* 1563 */"46547", "40520", "47169", "05378", "33453",
"77568", "58119", "86531", "63289", "73287",
/* 1564 */"72537", "91079", "75686", "38388", "12946",
"75624", "05512", "61744", "74345", "62173",
/* 1565 */"56252", "45528", "00484", "27082", "66766",
"36427", "40468", "25755", "82194", "63
8",
/* 1566 */"65711", "31454", "47977", "78863", "99891",
"36474", "93996", "19649", "32105", "39637",
/* 1567 */"76325", "58388", "48389", "00655", "86945",
"03935", "18929", "53385", "14065", "28934",
/* 1568 */"32301", "63874", "88450", "08966", "18016",
"79968", "83075", "92704", "90808", "35485",
/* 1569 */"83017", "88254", "55824", "52962", "16320",
"73178", "29714", "70569", "67235", "27057",
/* 1570 */"46318", "01330", "13886", "80044", "49567",
"43885", "57588", "55760", "33593", "57002",
/* 1571 */"67458", "64229", "48454", "93535", "71333",
"92908", "66962", "61620", "86815", "68708",
/* 1572 */"21863", "18057", "60863", "78935", "58304",
"68313", "28379", "21250", "98855", "33644",
/* 1573 */"43100", "45950", "71756", "57866", "76952",
"77855", "31241", "97238", "55256", "96796",
/* 1574 */"54848", "79562", "74816", "91407", "20823",
"86480", "44586", "21702", "87810", "65903",
/* 1575 */"84778", "48723", "24130", "10402", "02742",
"99232", "86292", "61863", "53266", "84796",
/* 1576 */"24683", "23733", "23722", "26571", "80500",
"62377", "27457", "30711", "37785", "18135",
/* 1577 */"42672", "25838", "02376", "73951", "11594",
"85636", "56949", "79720", "10272", "75359",
/* 1578 */"50071", "55670", "45351", "85848", "67239",
"48381", "47206", "25461", "56847", "63347",
/* 1579 */"41007", "99628", "29089", "87080", "68711",
"76148", "71171", "89335", "21804", "54064",
/* 1580 */"23088", "47607", "57453", "73795", "06625",
"56375", "30879", "87792", "70489", "86525",
/* 1581 */"46285", "37426", "29643", "84872", "74009",
"39526", "24893", "56387", "72107", "47316",
/* 1582 */"33801", "28058", "53708", "69838", "19070",
"44239", "59639", "70558", "65223", "07143",
/* 1583 */"36591", "85097", "79603", "50138", "40202",
"02530", "88912", "20779", "86754", "20299",
/* 1584 */"75742", "18166", "00221", "88682", "80750",
"49621", "07774", "75575", "28919", "16130",
/* 1585 */"60555", "94102", "39146", "67795", "05985",
"43280", "97202", "35613", "25369", "47959",
/* 1586 */"58261", "16861", "39080", "22820", "46555",
"32213", "38440", "32662", "48259", "61197",
/* 1587 */"98765", "65802", "44467", "03358", "38894",
"34290", "31107", "25519", "26585", "34852",
/* 1588 */"39157", "58231", "30710", "09394", "04012",
"49122", "26283", "34946", "23590", "25663",
/* 1589 */"08143", "91252", "23181", "51183", "52102",
"85298", "52008", "48688", "86779", "21722",
/* 1590 */"66806", "72352", "64500", "89120", "13493",
"85813", "93999", "12558", "24852", "04575",
/* 1591 */"08289", "82806", "36490", "96421", "81718",
"63075", "54178", "39209", "03050", "47089",
/* 1592 */"12989", "31280", "71466", "72234", "26922",
"04753", "61943", "86149", "26938", "53736",
/* 1593 */"44154", "63471", "30657", "62298", "56461",
"48879", "54108", "97126", "43219", "95349",
/* 1594 */"63788", "18000", "10049", "49041", "28807",
"64190", "39753", "17397", "48026", "76947",
/* 1595 */"39203", "59841", "91168", "32021", "82081",
"60164", "37385", "52925", "91004", "71887",
/* 1596 */"39965", "79079", "97829", "95836", "26651",
"12495", "68275", "20281", "73978", "07258",
/* 1597 */"17752", "87692", "07004", "95860", "89325",
"56997", "70904", "91993", "13209", "50274",
/* 1598 */"04284", "63927", "07533", "60557", "41339",
"16728", "96512", "11116", "92345", "04612",
/* 1599 */"03440", "97786", "37416", "24541", "36408",
"63936", "36480", "87028", "05094", "95318",
/* 1600 */"43880", "79679", "13863", "94089", "32831",
"95052", "50386", "00125", "34839", "93857",
/* 1601 */"51879", "97545", "69161", "63821", "47985",
"48414", "70709", "22450", "23654", "56933",
/* 1602 */"92220", "98631", "40834", "28102", "00386",
"56785", "06654", "81565", "27022", "31092",
/* 1603 */"14391", "51692", "58939", "50858", "34172",
"96983", "19661", "44539", "63956", "20622",
/* 1604 */"02642", "79615", "97584", "82684", "04227",
"12621", "05561", "79284", "68421", "91047",
/* 1605 */"07466", "12899", "31434", "06525", "81175",
"38234", "24468", "30891", "89620", "50129",
/* 1606 */"83343", "72721", "52695", "36309", "67961",
"73792", "63300", "89222", "10618", "24229",
/* 1607 */"03745", "48015", "85373", "77206", "76214",
"85412", "83510", "73998", "13500", "65084",
/* 1608 */"27975", "70407", "56983", "07913", "38682",
"89173", "40739", "40168", "95705", "46872",
/* 1609 */"54284", "28109", "48080", "80215", "85753",
"64411", "27938", "56201", "16005", "49409",
/* 1610 */"79521", "93795", "56291", "03839", "16098",
"44436", "22678", "37566", "45822", "26879",
/* 1611 */"17817", "48797", "59971", "28104", "68171",
"05068", "98190", "33721", "13991", "73487",
/* 1612 */"56213", "82716", "77356", "91791", "31267",
"19598", "25159", "28785", "57736", "72346",
/* 1613 */"75194", "03658", "65212", "50828", "73031",
"12498", "30153", "80522", "30866", "05307",
/* 1614 */"44549", "28479", "49939", "43539", "66337",
"61547", "25104", "27361", "27060", "17720",
/* 1615 */"11543", "45735", "21121", "46119", "96548",
"48237", "30815", "01082", "00715", "18213",
/* 1616 */"27327", "47369", "72686", "74153", "67849",
"91820", "22255", "91564", "28009", "19796",
/* 1617 */"65332", "83444", "40231", "84229", "48713",
"46748", "54693", "63440", "03439", "97497",
/* 1618 */"45214", "30409", "35466", "73494", "39421",
"86061", "88928", "55676", "68453", "66827",
/* 1619 */"77929", "36175", "61017", "71350", "93393",
"32687", "29040", "74575", "45306", "22552",
/* 1620 */"54366", "88887", "16301", "19105", "51147",
"31217", "41907", "42982", "64904", "63597",
/* 1621 */"08535", "65466", "48869", "58315", "23905",
"24696", "66332", "22822", "37808", "78375",
/* 1622 */"36947", "67802", "81864", "59051", "52076",
"34284", "06530", "51015", "39540", "61780",
/* 1623 */"28323", "33789", "56413", "16652", "28571",
"53781", "63579", "42659", "53203", "29708",
/* 1624 */"16748", "41349", "75175", "66405", "75745",
"33003", "32043", "01747", "49361", "61584",
/* 1625 */"33178", "69744", "11252", "49458", "86585",
"85536", "92257", "24864", "48761", "31924",
/* 1626 */"26466", "93243", "88962", "31547", "05650",
"29480", "92795", "39219", "22342", "60169",
/* 1627 */"36535", "14197", "72029", "40094", "61100",
"17633", "38541", "08250", "04353", "13417",
/* 1628 */"66835", "93340", "09121", "97179", "24446",
"47809", "87930", "83677", "46036", "07924",
/* 1629 */"09357", "02826", "35480", "92998", "35244",
"39454", "50956", "36244", "31511", "40640",
/* 1630 */"07296", "75285", "29833", "78926", "48012",
"97299", "56635", "57142", "00203", "77302",
/* 1631 */"01106", "48819", "40679", "96311", "90666",
"91712", "16907", "65802", "94408", "76429",
/* 1632 */"15742", "99837", "87999", "36431", "96530",
"84598", "62879", "82602", "57911", "18505",
/* 1633 */"16523", "51356", "37907", "65491", "39889",
"49415", "97503", "09430", "39471", "12136",
/* 1634 */"03536", "42548", "50478", "54022", "18614",
"03129", "68513", "08643", "91870", "93123",
/* 1635 */"73445", "35057", "97928", "83183", "57729",
"35701", "70757", "28092", "97686", "90810",
/* 1636 */"52017", "99654", "63051", "87131", "87755",
"29329", "52001", "24808", "54075", "48002",
/* 1637 */"63724", "57039", "06679", "46472", "92762",
"75952", "54470", "88720", "57702", "61299",
/* 1638 */"16675", "01990", "38803", "84706", "24066",
"41937", "26551", "58381", "04810", "35915",
/* 1639 */"01377", "36919", "49327", "24518", "61098",
"25962", "04427", "33234", "04480", "02438",
/* 1640 */"49752", "61849", "05823", "84198", "18174",
"74419", "10322", "95196", "47893", "77825",
/* 1641 */"40734", "81595", "96763", "68282", "34155",
"29452", "94005", "23972", "66115", "40478",
/* 1642 */"64213", "91973", "62604", "00789", "21825",
"25568", "00981", "89250", "24446", "86013",
/* 1643 */"24505", "41214", "03031", "34756", "31600",
"84374", "36871", "83645", "80482", "22081",
/* 1644 */"34248", "31337", "78109", "49077", "10187",
"84757", "45754", "51435", "52726", "24296",
/* 1645 */"60229", "06451", "61294", "53777", "17640",
"85533", "10178", "23212", "02002", "08264",
/* 1646 */"36712", "16560", "35055", "99750", "53169",
"58659", "37377", "53580", "16829", "10472",
/* 1647 */"94150", "42762", "54989", "58564", "12434",
"81297", "36197", "84099", "55629", "03717",
/* 1648 */"36402", "94992", "51794", "59245", "87178",
"84460", "58370", "34416", "75064", "07568",
/* 1649 */"15853", "95261", "90876", "66395", "72788",
"66605", "08718", "96740", "45414", "81005",
/* 1650 */"94988", "12022", "77021", "60277", "39048",
"03087", "18920", "98682", "26756", "05107",
/* 1651 */"72363", "40974", "09594", "10276", "09631",
"43203", "13227", "90021", "35899", "21515",
/* 1652 */"74967", "66480", "83894", "82989", "24784",
"42757", "24447", "44970", "60048", "26514",
/* 1653 */"26236", "32399", "81419", "47377", "93952",
"89101", "79748", "03446", "23212", "10489",
/* 1654 */"05632", "68465", "67842", "85597", "02094",
"42059", "86912", "23145", "43060", "94694",
/* 1655 */"67352", "41392", "17545", "30949", "87565",
"83820", "19827", "34043", "00575", "23260",
/* 1656 */"92727", "35027", "03117", "80848", "74559",
"96797", "08118", "72948", "91838", "00281",
/* 1657 */"18223", "91136", "39695", "39943", "77413",
"48937", "32672", "94704", "99738", "50907",
/* 1658 */"80723", "91394", "02992", "11530", "67845",
"05881", "76173", "18594", "91937", "74215",
/* 1659 */"75007", "85671", "88211", "55080", "15581",
"02685", "07889", "26594", "47083", "76723",
/* 1660 */"60050", "80463", "30926", "74970", "38951",
"14928", "81875", "61424", "62060", "96004",
/* 1661 */"69715", "28522", "73974", "99491", "50647",
"20252", "44455", "66593", "23255", "94807",
/* 1662 */"92096", "43555", "48882", "60717", "07963",
"39375", "21441", "66090", "80430", "68380",
/* 1663 */"35482", "63353", "08086", "66635", "71009",
"95777", "70335", "65808", "69105", "42800",
/* 1664 */"24879", "78061", "38949", "21123", "28430",
"72627", "04565", "14741", "85781", "20795",
/* 1665 */"68985", "60486", "58133", "07709", "25899",
"68531", "10370", "46536", "46506", "86675",
/* 1666 */"96601", "96785", "20850", "70389", "74637",
"34020", "61780", "33461", "32496", "51247",
/* 1667 */"66706", "67664", "93292", "05934", "71050",
"68192", "51898", "18872", "01371", "95558",
/* 1668 */"39273", "41912", "40198", "36441", "89472",
"38835", "41709", "85397", "57429", "33822",
/* 1669 */"42539", "21771", "58672", "71421", "92528",
"67229", "57837", "89729", "97494", "40943",
/* 1670 */"78209", "77315", "08393", "95809", "15832",
"31381", "83170", "32933", "90911", "49431",
/* 1671 */"31279", "02627", "93411", "96192", "88570",
"88861", "79463", "64823", "93331", "97785",
/* 1672 */"76915", "11168", "58452", "30237", "43211",
"88094", "40120", "44502", "89799", "09877",
/* 1673 */"31714", "15972", "03620", "07957", "84828",
"01328", "66806", "45975", "01001", "72953",
/* 1674 */"23131", "71925", "82240", "57451", "86216",
"08900", "42868", "39434", "74956", "93714",
/* 1675 */"95186", "13811", "57341", "15008", "70542",
"51583", "01563", "50348", "01403", "32881",
/* 1676 */"69801", "54360", "53265", "70858", "65549",
"02535", "43657", "75928", "00109", "59990",
/* 1677 */"22293", "14758", "37440", "49589", "96421",
"74696", "46442", "27647", "63950", "60872",
/* 1678 */"91834", "04476", "12776", "34486", "64027",
"15943", "12307", "36791", "13600", "32570",
/* 1679 */"18615", "53505", "27034", "34479", "81642",
"20618", "19992", "12006", "37023", "48116",
/* 1680 */"97224", "65695", "75788", "47328", "86654",
"52342", "31619", "97675", "40129", "57606",
/* 1681 */"26686", "27899", "76013", "33828", "00554",
"35016", "56081", "74251", "51761", "20546",
/* 1682 */"71559", "57727", "59162", "88726", "75150",
"37162", "90733", "79311", "48085", "67398",
/* 1683 */"46858", "08197", "42531", "34583", "46155",
"77480", "13712", "15607", "61265", "81522",
/* 1684 */"68979", "78824", "23553", "16776", "72208",
"12765", "33682", "68422", "53269", "99473",
/* 1685 */"82578", "98058", "70623", "49929", "23105",
"14041", "96639", "89657", "53337", "31527",
/* 1686 */"26830", "21649", "96350", "76934", "95421",
"23398", "24309", "97283", "55317", "06715",
/* 1687 */"66780", "42434", "36053", "11518", "10114",
"29978", "35558", "73063", "47919", "41275",
/* 1688 */"26850", "83856", "07550", "60184", "71509",
"33950", "19410", "57673", "82122", "98268",
/* 1689 */"83552", "46929", "39407", "19738", "08959",
"95800", "66562", "70100", "16777", "17829",
/* 1690 */"69664", "34188", "44958", "12585", "14608",
"48201", "21973", "64338", "56105", "01633",
/* 1691 */"91846", "59409", "44903", "39135", "09758",
"79483", "93450", "39965", "19354", "55190",
/* 1692 */"94766", "30727", "36436", "87104", "45035",
"27194", "40273", "71694", "57000", "40477",
/* 1693 */"06482", "16026", "77039", "23656", "00584",
"01539", "43904", "13910", "79229", "91014",
/* 1694 */"38098", "51630", "27394", "80495", "28942",
"12426", "84937", "10365", "44686", "73746",
/* 1695 */"42624", "08957", "40485", "75135", "35223",
"18951", "86245", "86562", "52403", "37080",
/* 1696 */"75639", "11741", "34530", "96298", "61180",
"04574", "41471", "76100", "49195", "68552",
/* 1697 */"58681", "84924", "85898", "94144", "40948",
"88720", "92349", "75081", "72752", "03225",
/* 1698 */"49384", "67921", "07641", "03287", "85245",
"06555", "59403", "71346", "25280", "03515",
/* 1699 */"02176", "23783", "96594", "05593", "94006",
"41335", "81326", "28049", "25784", "22043",
/* 1700 */"93880", "30067", "11137", "06696", "77494",
"27526", "88922", "57619", "02337", "86662",
/* 1701 */"76692", "57656", "99298", "30095", "02558",
"82919", "25651", "28120", "23522", "66263",
/* 1702 */"04424", "76978", "71903", "75842", "31784",
"80399", "93582", "73670", "02739", "94643",
/* 1703 */"88242", "36928", "66833", "09970", "17683",
"06931", "09337", "01020", "31477", "68849",
/* 1704 */"21698", "00855", "90324", "64854", "64085",
"99148", "84241", "99699", "85404", "28371",
/* 1705 */"78731", "32497", "56331", "38406", "98132",
"99669", "25402", "47197", "09682", "33835",
/* 1706 */"82808", "34677", "71302", "75892", "49462",
"10275", "73918", "67115", "20224", "44925",
/* 1707 */"99669", "97878", "35554", "87900", "04135",
"40700", "02766", "17443", "09538", "98772",
/* 1708 */"08085", "66902", "45228", "63702", "97678",
"84155", "53760", "98409", "65789", "90750",
/* 1709 */"49333", "93906", "43205", "93404", "16765",
"15665", "32425", "09293", "00513", "06712",
/* 1710 */"19727", "21123", "06113", "87759", "71520",
"00040", "93197", "87436", "09712", "99234",
/* 1711 */"08322", "30093", "19533", "71269", "82284",
"56203", "89683", "72041", "33476", "71856",
/* 1712 */"06408", "41290", "36686", "99287", "18048",
"11168", "90761", "39183", "93279", "37994",
/* 1713 */"18310", "33376", "12655", "07615", "59982",
"87924", "93692", "61118", "36910", "49622",
/* 1714 */"97474", "78227", "28139", "89395", "60111",
"20995", "11236", "57144", "90898", "34917",
/* 1715 */"39982", "67482", "78091", "79694", "00970",
"13710", "64101", "16277", "07816", "13879",
/* 1716 */"28006", "54888", "78643", "68059", "67424",
"26880", "63383", "26194", "97576", "84261",
/* 1717 */"45645", "49941", "04369", "70130", "94352",
"40112", "43857", "23164", "47664", "99511",
/* 1718 */"13472", "43394", "03599", "73615", "49058",
"58048", "80515", "06741", "56118", "75052",
/* 1719 */"27850", "25453", "21032", "29743", "48509",
"21267", "03681", "74642", "67082", "11904",
/* 1720 */"59014", "90744", "42987", "69613", "20332",
"30392", "11715", "95052", "58113", "16536",
/* 1721 */"55480", "31996", "85226", "22210", "84892",
"19453", "80510", "56212", "45910", "84855",
/* 1722 */"24339", "43283", "59724", "62822", "15548",
"56141", "89220", "05213", "36311", "46352",
/* 1723 */"34541", "15246", "09754", "49137", "68131",
"56389", "64410", "71732", "19148", "65009",
/* 1724 */"49561", "38668", "87621", "74272", "67268",
"82594", "08537", "48996", "83825", "74170",
/* 1725 */"99125", "39759", "25049", "11813", "99569",
"73368", "50004", "07974", "73607", "13360",
/* 1726 */"04875", "42765", "61690", "54915", "31801",
"79108", "18289", "81161", "97928", "58360",
/* 1727 */"50607", "19272", "53424", "58923", "54316",
"89854", "71677", "66815", "19877", "47235",
/* 1728 */"30290", "03075", "11667", "16122", "32999",
"77755", "12604", "19115", "97502", "27969",
/* 1729 */"28274", "48942", "27579", "91896", "80234",
"39543", "95392", "79920", "83016", "96471",
/* 1730 */"16959", "76737", "16654", "13542", "20728",
"13928", "30394", "43895", "21995", "85942",
/* 1731 */"04994", "99280", "94784", "55171", "14880",
"40420", "15667", "84423", "62403", "77012",
/* 1732 */"25594", "15045", "07410", "61877", "55872",
"77197", "82477", "33640", "06882", "89657",
/* 1733 */"63364", "34022", "88784", "94445", "84722",
"77505", "64618", "61370", "18801", "16361",
/* 1734 */"08694", "33467", "29511", "18888", "57516",
"63467", "16959", "21585", "35113", "25620",
/* 1735 */"50046", "65487", "22656", "74729", "84950",
"60194", "80964", "92915", "53704", "66919",
/* 1736 */"28960", "79829", "02580", "24360", "40273",
"75814", "04835", "00662", "29784", "88808",
/* 1737 */"22308", "89960", "58428", "34381", "49539",
"89565", "73880", "27768", "79531", "29346",
/* 1738 */"98592", "23403", "19929", "67535", "74484",
"80083", "45577", "62977", "13548", "04909",
/* 1739 */"18040", "39633", "74903", "07420", "15147",
"31795", "84481", "90974", "24042", "24544",
/* 1740 */"04314", "06864", "55314", "44064", "68632",
"71109", "01162", "53475", "24321", "76906",
/* 1741 */"66875", "54661", "48942", "26027", "65858",
"26851", "72889", "09511", "10760", "49833",
/* 1742 */"29794", "47770", "62871", "15559", "49146",
"59030", "34857", "62411", "60031", "67962",
/* 1743 */"26351", "53194", "42764", "10192", "05613",
"76994", "67324", "14248", "35070", "48409",
/* 1744 */"45360", "18780", "69171", "57162", "59969",
"15610", "44283", "93966", "03249", "10961",
/* 1745 */"25773", "46930", "91698", "54007", "16852",
"63493", "16731", "11774", "63152", "22423",
/* 1746 */"34331", "59199", "03614", "22220", "64023",
"26306", "78073", "25201", "02566", "32066",
/* 1747 */"65774", "44518", "93113", "80244", "86535",
"97521", "27092", "20736", "24130", "72258",
/* 1748 */"40982", "17521", "22630", "61308", "90794",
"17845", "30663", "83489", "35955", "15812",
/* 1749 */"84187", "91945", "63475", "71413", "87856",
"95561", "88319", "69211", "11872", "46843",
/* 1750 */"22543", "04824", "98914", "35252", "94780",
"38482", "71898", "22708", "90708", "37177",
/* 1751 */"86160", "14617", "93382", "65976", "07705",
"95846", "85058", "30360", "01305", "36285",
/* 1752 */"37668", "05644", "59995", "74303", "18052",
"75216", "46175", "86411", "38075", "22125",
/* 1753 */"56855", "98791", "55288", "50820", "59072",
"14526", "39647", "40210", "13871", "28684",
/* 1754 */"27061", "79252", "44942", "06167", "39024",
"48704", "15527", "25723", "85101", "28363",
/* 1755 */"98689", "14263", "23452", "58231", "86492",
"29067", "81517", "53630", "46369", "36720",
/* 1756 */"24761", "67296", "58299", "42403", "18116",
"36978", "57879", "13979", "74412", "19322",
/* 1757 */"12168", "72477", "65753", "04397", "92564",
"96269", "50605", "11449", "54385", "24295",
/* 1758 */"85518", "75304", "83467", "54279", "42893",
"98840", "79994", "23383", "70829", "57754",
/* 1759 */"43112", "69054", "58408", "20068", "32962",
"96368", "05626", "40435", "44547", "53220",
/* 1760 */"34469", "04112", "20642", "75240", "53768",
"50416", "97274", "55482", "65335", "72559",
/* 1761 */"06124", "16048", "71479", "46340", "70854",
"76983", "71864", "78202", "29940", "07822",
/* 1762 */"07676", "05094", "45879", "58916", "76713",
"31828", "97396", "13995", "28127", "47905",
/* 1763 */"68184", "52826", "85900", "41488", "73623",
"41997", "61236", "47352", "59509", "78574",
/* 1764 */"54110", "23945", "74802", "70505", "39914",
"52606", "19964", "91722", "57650", "65738",
/* 1765 */"96822", "23122", "06312", "51650", "16151",
"37500", "18099", "93210", "77150", "07071",
/* 1766 */"79060", "34403", "13072", "46872", "71980",
"78778", "97721", "86645", "67666", "04008",
/* 1767 */"77193", "68996", "63086", "88657", "40735",
"21436", "39219", "93172", "44688", "32311",
/* 1768 */"78838", "27993", "02915", "43891", "00002",
"08535", "62548", "03196", "72271", "48395",
/* 1769 */"08192", "28895", "48081", "27465", "86239",
"68731", "37906", "57188", "75199", "93314",
/* 1770 */"33383", "11480", "66871", "11591", "58024",
"95560", "41904", "10681", "32827", "80995",
/* 1771 */"85544", "40801", "22288", "53780", "04567",
"58155", "32680", "91181", "84745", "05504",
/* 1772 */"21832", "25724", "73407", "92193", "16106",
"34170", "67722", "05630", "31544", "58393",
/* 1773 */"37682", "52954", "50234", "26513", "51628",
"27885", "92972", "30168", "36884", "22072",
/* 1774 */"56348", "93463", "10212", "38322", "34972",
"91894", "79140", "27698", "53367", "42779",
/* 1775 */"46692", "93528", "58211", "45684", "08740",
"01227", "93519", "79555", "84277", "55064",
/* 1776 */"83470", "35241", "78087", "88072", "72137",
"38349", "03134", "02908", "95598", "85118",
/* 1777 */"63520", "22587", "59488", "02138", "61011",
"08586", "45745", "53366", "48240", "73063",
/* 1778 */"29682", "86193", "20071", "67339", "36737",
"30521", "42305", "71789", "37034", "04311",
/* 1779 */"18450", "63027", "09376", "46280", "28826",
"18757", "86455", "24431", "77081", "69773",
/* 1780 */"39852", "03090", "03350", "24210", "56575",
"04088", "01099", "06173", "93351", "65630",
/* 1781 */"61433", "18659", "22918", "75002", "66252",
"31964", "46936", "35494", "36137", "31595",
/* 1782 */"96286", "39463", "84968", "28823", "88020",
"43796", "97010", "66467", "63273", "16285",
/* 1783 */"34074", "97910", "60447", "47307", "17764",
"88487", "93019", "57917", "34391", "33254",
/* 1784 */"78700", "25278", "87897", "21279", "96932",
"36293", "87276", "11889", "70818", "50864",
/* 1785 */"25848", "35241", "58725", "06653", "92759",
"31182", "05701", "89936", "11351", "42111",
/* 1786 */"70017", "53414", "04635", "15494", "52057",
"23162", "30141", "34417", "20500", "75966",
/* 1787 */"88837", "88976", "56029", "64147", "17068",
"17285", "43649", "93234", "82178", "22310",
/* 1788 */"44621", "85825", "37724", "72969", "09370",
"85493", "45485", "67004", "62142", "82924",
/* 1789 */"39354", "95176", "22447", "95870", "40567",
"76183", "53394", "52319", "60276", "22039",
/* 1790 */"02986", "87518", "91283", "88004", "93394",
"37835", "03728", "27065", "62032", "59091",
/* 1791 */"08891", "80096", "29955", "56261", "46802",
"34481", "74096", "34469", "73397", "21732",
/* 1792 */"16799", "78751", "41266", "56190", "00578",
"52323", "97898", "85677", "52094", "66220",
/* 1793 */"98985", "17737", "71258", "19630", "66293",
"80566", "17194", "53774", "14660", "47918",
/* 1794 */"16284", "39874", "03492", "54917", "79152",
"35872", "00176", "80467", "03686", "94453",
/* 1795 */"25490", "45407", "31748", "60299", "61630",
"71676", "70037", "73673", "12928", "87820",
/* 1796 */"12604", "03591", "76173", "06926", "32724",
"41465", "76664", "59440", "03464", "08510",
/* 1797 */"62975", "56837", "00043", "87252", "98522",
"63513", "47592", "74285", "49195", "62324",
/* 1798 */"02618", "29977", "98112", "05840", "43753",
"68171", "70742", "04304", "93583", "94727",
/* 1799 */"97927", "47649", "56927", "12030", "08295",
"55539", "46518", "43260", "86737", "09075",
/* 1800 */"83352", "32101", "77214", "14614", "47858",
"09567", "94570", "10754", "57488", "86936",
/* 1801 */"12466", "63391", "04618", "42869", "71896",
"62125", "88254", "18714", "63919", "35082",
/* 1802 */"51441", "07861", "80492", "09445", "18047",
"88141", "84619", "76593", "64133", "10604",
/* 1803 */"92686", "18791", "23100", "54104", "15316",
"48427", "34004", "61615", "74248", "05619",
/* 1804 */"30893", "63356", "68018", "67122", "42246",
"75783", "52778", "13230", "35426", "55937",
/* 1805 */"20946", "80838", "17446", "84884", "84706",
"82612", "28752", "88861", "11063", "28802",
/* 1806 */"91684", "70872", "39617", "84769", "44794",
"27234", "62489", "41641", "45980", "25121",
/* 1807 */"08300", "00386", "67190", "88090", "39402",
"54035", "73243", "96758", "46363", "40715",
/* 1808 */"84817", "17189", "48297", "23982", "31682",
"25956", "08687", "52354", "19310", "90959",
/* 1809 */"82539", "50783", "75834", "71126", "85767",
"39681", "17765", "54056", "64851", "27529",
/* 1810 */"86676", "36124", "28891", "41647", "56610",
"21007", "37558", "67402", "70490", "57530",
/* 1811 */"61066", "22855", "19373", "88518", "51954",
"50434", "77547", "54676", "32387", "03002",
/* 1812 */"02384", "62743", "99930", "59022", "49925",
"67053", "31047", "21576", "72837", "76235",
/* 1813 */"07712", "82563", "03398", "64881", "03256",
"17002", "75557", "33993", "30301", "44750",
/* 1814 */"12761", "27252", "29466", "95118", "95764",
"01440", "36127", "88857", "25655", "76542",
/* 1815 */"55228", "88633", "04674", "94544", "39759",
"00050", "65201", "89546", "87760", "07834",
/* 1816 */"79600", "20700", "02051", "85474", "92293",
"18511", "40079", "12166", "59137", "94450",
/* 1817 */"70545", "69461", "84671", "77135", "48023",
"34257", "34017", "30729", "10662", "74425",
/* 1818 */"44532", "29113", "71095", "53301", "70484",
"67183", "30501", "27005", "54122", "36506",
/* 1819 */"85956", "72982", "16232", "58925", "52924",
"06945", "11493", "62706", "47887", "82718",
/* 1820 */"75178", "18607", "16908", "18326", "86421",
"32895", "71223", "87503", "50025", "58179",
/* 1821 */"54077", "86394", "10862", "95679", "48291",
"86055", "17876", "55823", "77586", "46302",
/* 1822 */"80611", "69955", "26456", "31043", "54050",
"89810", "63910", "54305", "67544", "11164",
/* 1823 */"75950", "31417", "53846", "42243", "03872",
"23880", "22213", "26997", "28682", "66610",
/* 1824 */"75693", "71229", "15862", "55745", "25574",
"33334", "01614", "22249", "93778", "36997",
/* 1825 */"94237", "56768", "93392", "56523", "17908",
"12930", "88813", "67954", "75909", "82124",
/* 1826 */"04815", "05216", "62417", "00402", "24087",
"49908", "40155", "37909", "73856", "31701",
/* 1827 */"12610", "63929", "33119", "85377", "52027",
"43136", "71324", "13972", "81033", "55283",
/* 1828 */"75351", "27152", "25876", "20919", "58105",
"75210", "84572", "49391", "08714", "82582",
/* 1829 */"38999", "59294", "30595", "81404", "93287",
"02306", "81745", "09295", "67559", "02205",
/* 1830 */"13391", "22459", "97824", "31345", "28167",
"07730", "42077", "16804", "40003", "30472",
/* 1831 */"26578", "92091", "65728", "38951", "99246",
"41652", "53550", "83136", "09265", "09923",
/* 1832 */"19769", "27009", "81110", "78870", "13632",
"18307", "11985", "14456", "97746", "64331",
/* 1833 */"18805", "72178", "66372", "25847", "83456",
"87939", "20409", "94661", "03235", "27414",
/* 1834 */"29233", "12588", "14226", "36832", "69264",
"19207", "59323", "81481", "60703", "46560",
/* 1835 */"64567", "00980", "40755", "18056", "44516",
"55231", "14323", "02404", "12868", "50461",
/* 1836 */"68241", "66114", "98027", "15314", "00150",
"83005", "85028", "57072", "66571", "41750",
/* 1837 */"00152", "65088", "18121", "34813", "44233",
"63740", "13409", "96318", "11561", "04638",
/* 1838 */"68343", "44121", "52626", "73424", "22074",
"28774", "60510", "41864", "97376", "30566",
/* 1839 */"30332", "87819", "53264", "62254", "78335",
"32679", "97578", "86653", "61354", "77466",
/* 1840 */"71562", "72311", "44533", "64426", "90036",
"95694", "06846", "48827", "31434", "75488",
/* 1841 */"08451", "27405", "81860", "99528", "74186",
"20981", "25520", "27132", "22839", "23725",
/* 1842 */"98876", "84284", "65994", "34715", "02872",
"25584", "88384", "21500", "76341", "71890",
/* 1843 */"26536", "54215", "41792", "38715", "56593",
"23979", "71311", "48199", "48682", "15573",
/* 1844 */"14010", "76193", "99557", "51562", "58219",
"82449", "09034", "88735", "36049", "95906",
/* 1845 */"34379", "62141", "69287", "20922", "89695",
"07858", "66625", "75277", "75727", "04428",
/* 1846 */"39381", "91997", "58799", "91677", "85827",
"46073", "05717", "24675", "87838", "88340",
/* 1847 */"47366", "15926", "25531", "63784", "76304",
"82607", "45902", "79674", "54756", "13957",
/* 1848 */"46510", "61373", "35889", "98425", "79327",
"11615", "44497", "92482", "89637", "78794",
/* 1849 */"88416", "67266", "23401", "78034", "71140",
"97020", "98172", "37489", "90450", "30430",
/* 1850 */"38527", "24693", "85207", "32770", "23364",
"81313", "05408", "07885", "30693", "94400",
/* 1851 */"18787", "47450", "97853", "03079", "38231",
"90927", "95246", "56697", "00496", "37877",
/* 1852 */"43960", "95514", "33973", "71102", "23076",
"60827", "55984", "78408", "48286", "01941",
/* 1853 */"76201", "36878", "56283", "60744", "61743",
"28667", "84532", "37904", "64504", "98223",
/* 1854 */"56629", "80708", "53119", "10708", "24927",
"14562", "50374", "13142", "18144", "22596",
/* 1855 */"92577", "71153", "34303", "98607", "50692",
"49119", "45005", "86083", "81982", "42362",
/* 1856 */"23716", "90573", "43767", "40812", "65986",
"18229", "51876", "00505", "74606", "92539",
/* 1857 */"55364", "70288", "49371", "35143", "58877",
"35926", "36474", "76537", "46490", "20477",
/* 1858 */"82731", "58687", "80482", "60110", "99925",
"33485", "71394", "72308", "47343", "68773",
/* 1859 */"95093", "29762", "22429", "53388", "33704",
"71584", "47657", "04399", "15731", "48265",
/* 1860 */"11940", "64257", "93046", "39413", "83891",
"60497", "45824", "97914", "49776", "20951",
/* 1861 */"68558", "53000", "09151", "01803", "98284",
"61152", "00573", "59228", "05045", "25375",
/* 1862 */"09951", "53201", "64373", "96855", "45123",
"84826", "16654", "12828", "21490", "78481",
/* 1863 */"99583", "16189", "25363", "61740", "41722",
"32100", "04389", "67756", "39535", "68386",
/* 1864 */"62818", "85469", "62578", "27477", "86558",
"30449", "43353", "42067", "61056", "06517",
/* 1865 */"01862", "85044", "27262", "17069", "29969",
"00666", "92469", "40706", "47226", "15006",
/* 1866 */"52047", "53461", "51206", "19934", "36813",
"11985", "74686", "12010", "67377", "54292",
/* 1867 */"66914", "38216", "67340", "86343", "94944",
"83406", "75929", "33230", "77993", "04539",
/* 1868 */"61197", "83526", "06483", "40588", "42988",
"13467", "09083", "18129", "47303", "01006",
/* 1869 */"12993", "58421", "89321", "14629", "82194",
"19430", "92076", "53807", "05419", "53774",
/* 1870 */"59334", "43660", "57741", "41267", "50979",
"98734", "13528", "03912", "15424", "02141",
/* 1871 */"66465", "30884", "62864", "06344", "45794",
"26264", "67098", "31504", "64705", "18671",
/* 1872 */"31266", "28603", "16389", "15052", "27532",
"41081", "50792", "39126", "55744", "15126",
/* 1873 */"34505", "83962", "07615", "97777", "38760",
"59198", "04861", "18111", "34908", "91828",
/* 1874 */"85912", "09384", "80978", "58917", "27608",
"26147", "07788", "05637", "81119", "64210",
/* 1875 */"72357", "78805", "03809", "78721", "89761",
"27014", "33821", "51910", "29857", "58315",
/* 1876 */"26213", "55746", "06814", "82095", "09605",
"60296", "00946", "68198", "44854", "43960",
/* 1877 */"34613", "09399", "51224", "89960", "72017",
"63555", "93683", "85727", "89832", "65538",
/* 1878 */"46356", "50373", "41134", "48749", "66215",
"61906", "07769", "26493", "51523", "18063",
/* 1879 */"93141", "62639", "66786", "87421", "56814",
"15953", "84187", "27424", "33382", "77534",
/* 1880 */"51171", "94833", "34011", "61686", "76573",
"84267", "65801", "58947", "62893", "11279",
/* 1881 */"81437", "08972", "82728", "93896", "22692",
"70711", "93355", "55120", "05326", "05135",
/* 1882 */"15053", "46214", "71335", "49624", "16579",
"75860", "20554", "21806", "04877", "35936",
/* 1883 */"57555", "75056", "62505", "70605", "39831",
"72600", "85084", "25888", "67672", "63603",
/* 1884 */"54571", "77067", "66142", "51216", "93796",
"16886", "27490", "15141", "80861", "17556",
/* 1885 */"18972", "11011", "92448", "04353", "03407",
"07990", "52942", "11668", "02811", "64412",
/* 1886 */"93623", "89619", "98261", "70386", "83651",
"08453", "91471", "91895", "98037", "85442",
/* 1887 */"02899", "52218", "05299", "54454", "54574",
"26019", "44980", "27133", "73853", "78183",
/* 1888 */"33489", "56062", "35157", "75194", "23957",
"15287", "78660", "68812", "64174", "76433",
/* 1889 */"19461", "65172", "74370", "38697", "80056",
"38879", "69526", "20989", "47933", "53747",
/* 1890 */"74710", "69781", "02423", "30372", "12979",
"99184", "63578", "37345", "18896", "38419",
/* 1891 */"27367", "58243", "40114", "19712", "44569",
"03565", "32097", "80896", "02127", "87556",
/* 1892 */"45057", "03468", "26002", "96998", "74853",
"62667", "49786", "37192", "94205", "63455",
/* 1893 */"88398", "46763", "95748", "74578", "23926",
"83306", "19522", "28068", "58691", "81760",
/* 1894 */"29626", "85201", "49733", "20686", "85859",
"25864", "27571", "47269", "34943", "65612",
/* 1895 */"90785", "71409", "51627", "22686", "80822",
"00407", "53412", "35513", "32296", "15090",
/* 1896 */"78937", "44387", "67591", "50550", "47210",
"49785", "57616", "45017", "85802", "49940",
/* 1897 */"72255", "96833", "72380", "70850", "44318",
"59088", "65852", "36733", "50138", "88220",
/* 1898 */"83643", "34294", "64853", "98588", "83073",
"55199", "61744", "78187", "90224", "98356",
/* 1899 */"09295", "75095", "26430", "67530", "60518",
"53711", "82022", "67673", "26896", "89217",
/* 1900 */"18054", "70169", "37767", "42926", "69684",
"07758", "56343", "95550", "73674", "77633",
/* 1901 */"64314", "73394", "15679", "52449", "53528",
"31361", "88481", "62737", "52266", "05493",
/* 1902 */"03997", "95512", "70664", "51235", "00362",
"48493", "77966", "55005", "33347", "04803",
/* 1903 */"32528", "80400", "65421", "48925", "30264",
"37357", "25541", "92182", "98748", "34516",
/* 1904 */"23168", "83486", "64654", "01584", "57638",
"58280", "82927", "77882", "38414", "06065",
/* 1905 */"09914", "26814", "17498", "30952", "03374",
"18167", "94994", "38210", "43065", "79745",
/* 1906 */"02273", "56598", "13536", "71089", "48945",
"29899", "35233", "95439", "48865", "25414",
/* 1907 */"92011", "54377", "97277", "74415", "05427",
"32146", "10180", "69916", "65149", "81421",
/* 1908 */"28542", "33919", "68614", "86501", "57103",
"84260", "59926", "91889", "25276", "65145",
/* 1909 */"32356", "98957", "60156", "16396", "55459",
"66346", "75597", "80798", "78912", "34745",
/* 1910 */"58550", "01984", "15399", "80602", "35053",
"13096", "45916", "58431", "69401", "41895",
/* 1911 */"34571", "82861", "96019", "85317", "43911",
"30054", "19115", "66818", "04875", "71884",
/* 1912 */"58345", "73947", "36219", "33271", "26963",
"90067", "46467", "68507", "29679", "84145",
/* 1913 */"84277", "18345", "14015", "23050", "68718",
"07426", "29210", "78181", "38448", "57724",
/* 1914 */"69858", "56204", "35424", "03134", "20365",
"18851", "30331", "37857", "02737", "01683",
/* 1915 */"74742", "78969", "14588", "56080", "40605",
"43436", "62187", "33974", "36314", "55011",
/* 1916 */"80280", "97254", "82238", "63334", "39826",
"35409", "85616", "11011", "90437", "11578",
/* 1917 */"50567", "93347", "45213", "26318", "96039",
"84783", "55570", "50703", "67673", "46483",
/* 1918 */"32301", "32340", "41848", "34233", "65339",
"99784", "40706", "09598", "99093", "01255",
/* 1919 */"20917", "56320", "62330", "96311", "24760",
"74292", "72974", "34591", "10076", "22851",
/* 1920 */"10422", "37830", "04333", "75403", "37923",
"04812", "50512", "34935", "95974", "41056",
/* 1921 */"56719", "60282", "53001", "01056", "39258",
"30110", "61778", "56162", "69045", "92589",
/* 1922 */"15376", "59181", "90139", "36512", "93614",
"42027", "96902", "21195", "91786", "24418",
/* 1923 */"27632", "03129", "98390", "39288", "96370",
"80027", "23185", "60662", "98468", "88602",
/* 1924 */"14089", "20191", "10324", "28956", "37774",
"74939", "39537", "15335", "00696", "61247",
/* 1925 */"31924", "56072", "94630", "64024", "28540",
"03619", "79095", "81543", "51431", "96978",
/* 1926 */"11169", "94872", "12169", "14326", "58154",
"53372", "56879", "34133", "56298", "79143",
/* 1927 */"56095", "47261", "82406", "22906", "02850",
"82566", "79481", "01299", "63070", "50571",
/* 1928 */"88575", "09393", "66233", "52880", "20005",
"15095", "26599", "02293", "32583", "31515",
/* 1929 */"56112", "27175", "26024", "54084", "56932",
"94997", "52984", "99133", "72748", "54760",
/* 1930 */"91792", "69010", "33181", "96412", "69744",
"31022", "48088", "63735", "56750", "10622",
/* 1931 */"89719", "48361", "67526", "35625", "02212",
"37673", "03512", "97373", "75785", "35606",
/* 1932 */"43774", "39609", "45789", "61170", "53402",
"46467", "95348", "96679", "66045", "21940",
/* 1933 */"78791", "08471", "60552", "85449", "54609",
"95948", "22178", "87136", "44839", "22211",
/* 1934 */"02903", "09380", "70088", "36810", "02030",
"78849", "38689", "78638", "98664", "63489",
/* 1935 */"59165", "00747", "89337", "94985", "77083",
"36053", "23635", "02160", "95702", "63931",
/* 1936 */"98613", "40575", "25547", "28903", "19094",
"03361", "46741", "32430", "79399", "78453",
/* 1937 */"17021", "26253", "99534", "69864", "38598",
"92063", "54372", "03303", "86468", "23594",
/* 1938 */"80895", "72281", "17185", "25831", "87697",
"65885", "44870", "44263", "33808", "82921",
/* 1939 */"27091", "80131", "36840", "57423", "26795",
"73810", "21386", "97289", "22063", "82628",
/* 1940 */"01599", "37995", "75930", "84621", "48511",
"20224", "26918", "95367", "08798", "21108",
/* 1941 */"57027", "53753", "35418", "21834", "41999",
"51363", "85964", "85438", "78298", "14887",
/* 1942 */"72414", "80273", "05771", "93301", "55546",
"22606", "62137", "14071", "93054", "55380",
/* 1943 */"36534", "08189", "98781", "98549", "26554",
"12030", "79544", "10316", "41326", "48007",
/* 1944 */"72599", "41611", "81919", "13252", "53070",
"24494", "59167", "14992", "16788", "33437",
/* 1945 */"62098", "86016", "48554", "55972", "37774",
"61603", "39464", "65299", "53800", "42517",
/* 1946 */"21096", "79972", "14001", "81512", "15866",
"69458", "53832", "81579", "72026", "97908",
/* 1947 */"12379", "37396", "27380", "90842", "52545",
"18526", "37205", "48261", "22095", "38299",
/* 1948 */"38023", "43508", "44203", "23087", "13766",
"09397", "94132", "34407", "02816", "02262",
/* 1949 */"94408", "46330", "67994", "15355", "37587",
"66291", "74867", "61926", "79127", "79098",
/* 1950 */"04427", "91941", "28411", "61926", "05091",
"80116", "27678", "57044", "07800", "84220",
/* 1951 */"40340", "65310", "96210", "55328", "41531",
"94918", "57002", "35599", "03358", "53340",
/* 1952 */"98328", "84687", "92431", "84619", "81785",
"23800", "37648", "54398", "33192", "25522",
/* 1953 */"35222", "17971", "82925", "55038", "61876",
"18784", "29955", "54903", "77482", "22822",
/* 1954 */"02215", "78263", "70394", "48269", "39084",
"02420", "87574", "70394", "77197", "48801",
/* 1955 */"00663", "32518", "21620", "14766", "00208",
"61501", "81367", "55121", "98950", "13374",
/* 1956 */"95940", "15988", "63010", "65689", "82645",
"63299", "71458", "53879", "96490", "60874",
/* 1957 */"72150", "00691", "26260", "77788", "39202",
"26373", "06606", "90187", "02699", "74662",
/* 1958 */"26750", "91609", "78698", "73651", "60910",
"61747", "23542", "83251", "67920", "99495",
/* 1959 */"79393", "73431", "90813", "88577", "60588",
"33597", "45109", "10244", "18562", "17903",
/* 1960 */"23051", "57058", "54998", "19079", "29084",
"75546", "20645", "56793", "75394", "03138",
/* 1961 */"37296", "68692", "28556", "46842", "31524",
"39581", "48003", "42089", "16177", "53839",
/* 1962 */"96823", "10760", "28105", "62075", "43405",
"78449", "42253", "87637", "50780", "38439",
/* 1963 */"70952", "23508", "01322", "23974", "78382",
"28359", "69756", "78049", "88541", "54049",
/* 1964 */"70351", "97343", "34034", "74893", "20255",
"59081", "26857", "12532", "93557", "56388",
/* 1965 */"34636", "19478", "74001", "48594", "39996",
"69571", "91386", "12571", "22537", "86232",
/* 1966 */"70312", "19527", "35476", "21474", "59539",
"53327", "02519", "92874", "64401", "16908",
/* 1967 */"55353", "72710", "70156", "07101", "84714",
"05185", "12678", "56232", "46255", "16716",
/* 1968 */"90388", "13730", "16120", "25122", "90522",
"19876", "63652", "34123", "23606", "31510",
/* 1969 */"61177", "86244", "68832", "87827", "83552",
"71569", "08380", "57632", "39787", "63944",
/* 1970 */"40268", "67249", "82293", "82287", "47654",
"37093", "79714", "12981", "41227", "15768",
/* 1971 */"90113", "03927", "77870", "13652", "24204",
"97211", "50410", "90813", "38829", "10786",
/* 1972 */"06149", "12136", "98972", "87973", "00081",
"07982", "34577", "75853", "10540", "20318",
/* 1973 */"51255", "69854", "09777", "61282", "81833",
"92904", "66731", "05620", "55181", "35443",
/* 1974 */"79042", "75404", "50913", "29839", "13155",
"54721", "91971", "53744", "32816", "63961",
/* 1975 */"13404", "54241", "08323", "33434", "63532",
"40574", "60968", "07680", "61478", "17184",
/* 1976 */"36505", "14866", "30781", "10772", "43777",
"81058", "75365", "26010", "94141", "98158",
/* 1977 */"52712", "91306", "32234", "85403", "66208",
"36267", "47291", "38749", "90806", "20855",
/* 1978 */"47704", "39463", "43277", "00476", "51957",
"91849", "62326", "89333", "47574", "60731",
/* 1979 */"07579", "47308", "68495", "37428", "47790",
"94349", "41404", "55339", "34073", "37117",
/* 1980 */"71216", "16914", "07734", "83356", "87540",
"63554", "19247", "49986", "74703", "37502",
/* 1981 */"41364", "69095", "27803", "28120", "46961",
"80172", "32796", "46654", "88473", "92257",
/* 1982 */"28730", "88643", "76114", "78189", "59028",
"23382", "60273", "54234", "99130", "71974",
/* 1983 */"34993", "17394", "21127", "59043", "70356",
"33220", "55236", "92612", "60809", "05685",
/* 1984 */"28067", "64186", "55481", "64655", "08239",
"76084", "87795", "73725", "75869", "77508",
/* 1985 */"03385", "15665", "26855", "59615", "38405",
"66863", "01186", "79189", "20461", "08922",
/* 1986 */"78180", "00999", "45633", "64132", "12140",
"22229", "16982", "89195", "87149", "41013",
/* 1987 */"94233", "25325", "11755", "93689", "14826",
"56758", "19796", "78285", "31041", "16965",
/* 1988 */"88659", "89137", "09396", "52029", "61765",
"48534", "22548", "90526", "33807", "11337",
/* 1989 */"17585", "85278", "77482", "77410", "68468",
"92470", "04936", "38517", "19410", "37980",
/* 1990 */"94742", "51432", "29572", "62015", "36880",
"94423", "03179", "59708", "07823", "20340",
/* 1991 */"86059", "07982", "76029", "73154", "59123",
"12899", "18899", "84852", "30109", "46997",
/* 1992 */"40788", "59424", "45541", "07501", "49539",
"29967", "37247", "15966", "18005", "34461",
/* 1993 */"59564", "89198", "21965", "90705", "45538",
"55894", "82002", "96641", "44273", "88581",
/* 1994 */"29392", "53058", "29439", "39922", "82990",
"67171", "40537", "57251", "53456", "83807",
/* 1995 */"85532", "87232", "26852", "06072", "20552",
"37337", "43185", "87156", "02774", "81224",
/* 1996 */"96818", "98016", "85405", "71729", "86948",
"43048", "10382", "12016", "11606", "16368",
/* 1997 */"45410", "27000", "35418", "64141", "08731",
"20285", "97055", "74760", "85335", "95673",
/* 1998 */"09848", "60615", "11085", "64537", "71296",
"71800", "09895", "69411", "93490", "04683",
/* 1999 */"91228", "87269", "43082", "28147", "04175",
"54874", "03737", "93493", "97159", "07515"
};
typedef unsigned long int sBox[256];
/*
* The following routine is a simple error exit routine -- it prints a
* message and aborts
*/
void
errAbort (s)
char *s;
{
fprintf (stderr, "%s\n", s);
exit (1);
}
void swapBytesInSBox (anSBox, row1, row2, column)
sBox anSBox;
unsigned int row1, row2, column;
/* Exchanges two bytes in a column in 'anSBox'. row1 and row2 are integers
between 0 and 255 inclusive. 'column' is either 0, 1, 2 or 3 and refers
to the byte position in a 32-bit word. 0 is the left-most byte. */
{
/* mask designates the bytes to be exchanged */
unsigned long int mask;
unsigned long int temp;
mask = 0xFF000000;
/* 'column' must be between 0 and 3 */
if (column > 3)
errAbort ("bad column passed to swapBytesInSBox");
/* position the mask in the appropriate column */
mask >>= (column * 8);
/* Swap the bytes indicated by 'mask' */
temp = anSBox[row1];
anSBox[row1] = (anSBox[row1] & (~mask)) | (anSBox[row2] & mask);
anSBox[row2] = (anSBox[row2] & (~mask)) | (temp & mask);
}
unsigned int randomDigit ()
/* generate a random digit in the range from 0 to 9, inclusive. Generate the
digit simply by getting the next random digit from the RAND table of
random digits */
{
if (locationIn5DigitGroup == 5) {
locationIn5DigitGroup = 0;
locationInRANDtable++;
};
if (locationInRANDtable >= sizeOfRANDtableIn5DigitGroups)
errAbort ("Error in randomDigit -- attempt to ask for too many random digits");
return (RANDtable[locationInRANDtable][locationIn5DigitGroup++] - '0');
};
unsigned int randomInRange (low, high)
unsigned int low, high;
/* Returns a random integer in the range from low to high, inclusive */
/* gets random digits from RANDtable */
{
unsigned int range; /* contains the actual range needed */
/* the max possible random numbers given a certain number of digits */
unsigned int maximum;
unsigned int random; /* the random number composed by appending
digits */
range = (high - low) + 1;
do {
random = 0; /* initialize */
maximum = 1; /* initialize */
/* loop until random has as many digits as range */
while (maximum < range) {
maximum *= 10; /* 0-n = n+1 possible random numbers */
/* add another digit to the low end */
random = (random * 10) + randomDigit ();
}
}
/* if random is not evenly mappable to range, try again */
/* the operation (maximum/range) TRUNCATES the result to an unsigned
int */
while (random >= ((unsigned int) (maximum / range)) * range);
/* map random to the range and add low to stay within (low,high) */
return (low + (random % range));
}
void printSBoxes ()
/* computes the standard S boxes from the RAND table of random digits,
then print them.
Uses RANDtable as the source for the random digits. */
{
sBox SBoxFromRand[SBoxCount];
int SBoxIndex;
/* column is from the set {0, 1, 2, 3}. 0 is the leftmost byte */
unsigned int column, row;
unsigned long int longRow;
for (SBoxIndex = 0; SBoxIndex < SBoxCount; SBoxIndex++) {
/* Fill initial S box with a trivial permutation (0-255) */
for (longRow = 0; longRow < 256; longRow++)
SBoxFromRand[SBoxIndex][longRow] =
longRow | (longRow << 8) | (longRow << 16) | (longRow << 24);
for (column = 0; column < 4; column++) {
for (row = 0; row < 255 /* 255 is correct */ ; row++)
/* exchange random rows in the column.
This ensures the column remains a permutation
of (0-255) */
swapBytesInSBox (SBoxFromRand[SBoxIndex],
row, randomInRange (row, 255), column);
}
}; /* End of for (SBoxIndex.... */
for (SBoxIndex = 0; SBoxIndex < SBoxCount; SBoxIndex++) {
printf(" { /* Start of S Box %d */\n",SBoxIndex);
for (row = 0; row < 256; row++) {
if (row%5 == 0) printf("\n/*%4d*/ ",row);
printf ("0x%08lxL", SBoxFromRand[SBoxIndex][row] );
if (row!=255) printf(",");
};
printf("\n /* End of S Box %d */ },\n\n\n", SBoxIndex);
};
};
void main ()
{
printSBoxes ();
exit (0);
};